Lean-zh 是一个自发组成的团体，旨在推动 Lean 在中文学术和编程社区的普及和应用。如果你对 Lean 感兴趣，对编写 Lean 教程、翻译官方文档、开发 Lean 项目，或者任何其他形式的贡献感兴趣，欢迎加入我们。
- 翻译和校对：提供 Lean 定理证明器官方文档的高质量中文翻译，参考翻译流程。
- 资源共享：分享有关 Lean 使用和学习的中文资源，包括教程、视频和案例研究等。
- 📘 如果您是初学者，需要快速了解 LEAN，推荐访问 Glimpse Of LEAN(初探 LEAN） 或者 自然数游戏。
- 🌟 如果您想参与贡献和开发，请查看贡献指南和翻译规范。
- 👩💻 可以通过我们的 QQ 群 897971266 或 Telegram 加入讨论。
更多信息请访问 Lean-zh 主页.
