Lean 中文文档翻译

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

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

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

Pinned Loading

fp-lean-zh fp-lean-zh Public

Lean 函数式编程

Lean 43 14
tp-lean-zh tp-lean-zh Public

Lean 定理证明

Lean 23 10
math-in-lean-zh math-in-lean-zh Public

Forked from leanprover-community/mathematics_in_lean

Lean 形式化数学

HTML 16 9
lean-zh.github.io lean-zh.github.io Public

Homepage of the Lean-zh website.

54 2
LoVe2025-zh LoVe2025-zh Public

Forked from lean-forward/logical_verification_2025

《逻辑验证漫游指南》(2025 版)及相关材料

Lean 4 1
mp-lean-zh mp-lean-zh Public

Forked from leanprover-community/lean4-metaprogramming-book

Lean 4 元编程

Lean 6 2