contribution guideline

Author: RexWzh

CONTRIBUTING.md

@@ -1,33 +1,36 @@
 # 贡献指南
 
-欢迎您对Lean-zh项目的兴趣！我们鼓励社区成员参与进来，一起帮助改善我们的项目。以下是参与贡献的几种方式：
-
-## 报告问题
-
-发现了问题或有任何建议，请通过GitHub Issues告诉我们。请确保你的问题尚未被报告过，同时提供足够的信息以便我们能够重现这一问题或理解您的建议。
+欢迎您对 Lean-zh 项目的兴趣！我们鼓励社区成员参与进来，一起帮助改善我们的项目。以下是参与贡献的几种方式：
 
 ## 文档翻译与校对
 
 我们始终需要帮助将文档从英文翻译成中文，或对现有的中文文档进行校对。如果你希望帮助翻译或校对，请：
 
-1. 查看当前的文档，找到你感兴趣的部分。
-2. 在GitHub上对相应文件进行fork和编辑。
-3. 提交pull request，等待审查。
+1. 查看当前的文档列表，找到你感兴趣的部分
+2. 认领哪章就开个对应章名的 issue
+3. 在 GitHub 上对相应文件进行 fork 和编辑。
+4. 提交 pull request，等待审查。
+
+Ref: [翻译规范](https://github.com/Agda-zh/PLFA-zh/issues/1)
 
 ## 撰写教程或改进代码
 
 除了翻译和校对，我们也欢迎你撰写教程、提供示例或对项目的代码进行改进。无论是添加新功能，还是优化现有功能，我们都非常欢迎。
 
+## 报告问题
+
+发现了问题或有任何建议，请通过 GitHub Issues 告诉我们。请确保你的问题尚未被报告过，同时提供足够的信息以便我们能够重现这一问题或理解您的建议。
+
 ## 如何提交贡献
 
 1. Fork 仓库并创建你的分支从 `main`。
 2. 如果你修改了代码，请确保测试通过。
 3. 确保你的代码符合项目的风格指南。
-4. 提交pull request。
+4. 提交 pull request。
 
 ## 任何贡献都是有价值的
 
-无论是改进文档、修复bug还是添加新功能，我们都非常感谢你的贡献！如果你是第一次贡献，也不用担心，我们是一个旨在提供一个开放、包容、学习的环境的社区。
+无论是改进文档、修复 bug 还是添加新功能，我们都非常感谢你的贡献！如果你是第一次贡献，也不用担心，我们是一个旨在提供一个开放、包容、学习的环境的社区。
 
 ## 问问题
 

profile/README.md

@@ -3,8 +3,7 @@
 欢迎来到 Lean-zh 的 GitHub 页面！这里是 Lean 定理证明器的中文翻译和文档项目。我们的目标是促进 Lean 在中文学术和编程社区的理解和应用。
 
 ## 项目目标
-- **翻译和校对**：提供 Lean 定理证明器官方文档的高质量中文翻译。
-- **社区互助**：建立一个支持和协作的社区环境，帮助中文用户学习和使用 Lean。
+- **翻译和校对**：提供 Lean 定理证明器官方文档的高质量中文翻译，参考[翻译规范](https://github.com/orgs/Lean-zh/projects/2)
 - **资源共享**：分享有关 Lean 使用和学习的中文资源，包括教程、视频和案例研究。
 
 ## 如何参与