Lean 中文文档翻译

Overview
Repositories
Projects
Packages
People

README.md

Lean-zh 组织

Lean-zh 是一个自发组成的团体，旨在推动 Lean 在中文学术和编程社区的普及和应用。如果你对 Lean 感兴趣，对编写 Lean 教程、翻译官方文档、开发 Lean 项目，或者任何其他形式的贡献感兴趣，欢迎加入我们。

项目目标

翻译和校对：提供 Lean 定理证明器官方文档的高质量中文翻译，参考翻译流程。
资源共享：分享有关 Lean 使用和学习的中文资源，包括教程、视频和案例研究等。

如何开始？

📘 如果您是初学者，需要快速了解 LEAN，推荐访问 Glimpse Of LEAN(初探 LEAN）或者自然数游戏。
🌟 如果您想参与贡献和开发，请查看贡献指南和翻译规范。
👩‍💻 可以通过我们的 QQ 群 897971266 或 Telegram 加入讨论。

更多信息请访问 Lean-zh 主页.

Pinned Loading

fp-lean-zh fp-lean-zh Public

Lean 函数式编程

Lean 45 15
tp-lean-zh tp-lean-zh Public

Lean 定理证明

Lean 29 12
math-in-lean-zh math-in-lean-zh Public

Forked from leanprover-community/mathematics_in_lean

Lean 形式化数学

HTML 19 9
mp-lean-zh mp-lean-zh Public

Forked from leanprover-community/lean4-metaprogramming-book

Lean 4 元编程

Lean 7 2
LoVe-zh LoVe-zh Public

逻辑验证漫游指南

Lean 74 5
lean-zh.github.io lean-zh.github.io Public

Homepage of the Lean-zh website.

59 2

Repositories

Type Language Sort

fp-lean-zh Public
Lean 函数式编程

Lean-zh/fp-lean-zh's past year of commit activity

Lean 45 15 15 (1 issue needs help) 1 Updated Aug 23, 2026
reference-manual Public Forked from leanprover/reference-manual
Lean 参考手册

Lean-zh/reference-manual's past year of commit activity

Lean 1 Apache-2.0 67 1 0 Updated Aug 16, 2026
lean-zh.github.io Public
Homepage of the Lean-zh website.

Lean-zh/lean-zh.github.io's past year of commit activity

59 MIT 2 1 (1 issue needs help) 0 Updated Aug 13, 2026
protobuf Public
protobuf implementation for Lean 4

Lean-zh/protobuf's past year of commit activity

Lean 10 MIT 1 0 0 Updated Aug 3, 2026
binary Public

Lean-zh/binary's past year of commit activity

Lean 4 MIT 1 0 0 Updated Aug 3, 2026
lean-tactic-programming-guide-zh Public Forked from mirefek/lean-tactic-programming-guide
Beginner's guide to Tactic Programming in Lean

Lean-zh/lean-tactic-programming-guide-zh's past year of commit activity

Lean 0 Apache-2.0 10 0 0 Updated Aug 1, 2026
lean-metaprogramming-recipes-zh Public Forked from leanprover-cookbook/lean-metaprogramming-recipes
Lean 4（元）编程 Cookbook 中文版

Lean-zh/lean-metaprogramming-recipes-zh's past year of commit activity

Lean 0 MIT 7 0 0 Updated Jul 31, 2026
LoVe-zh Public
逻辑验证漫游指南

Lean-zh/LoVe-zh's past year of commit activity

Lean 74 5 0 1 Updated Jul 18, 2026
LeanUp Public

Lean-zh/LeanUp's past year of commit activity

Python 2 MIT 1 0 0 Updated Jul 7, 2026
tp-lean-zh Public
Lean 定理证明

Lean-zh/tp-lean-zh's past year of commit activity

Lean 29 Apache-2.0 12 4 0 Updated Jul 5, 2026