翻译流程说明 Translation Process Description

[hewzhew]

认领任务：在对应issue下评论后在群897971266中@hewzhew，负责人将邀请您参与协作。
Claim Task: Comment under the corresponding issue and then @hewzhew in the group 897971266. The administrator will invite you to collaborate.
翻译规范（术语表，标点符号格式）：Agda-zh/PLFA-zh#1 (本项目无法保留原文)
Translation norms (terminology list, punctuation format): Agda-zh/PLFA-zh#1 (This project cannot retain the original text)

参考：Lean-zh/math-in-lean-zh#13