GeezerVison

GeezerVison is showing github.com — Lean 中文文档翻译

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 48 15
tp-lean-zh tp-lean-zh Public

Lean 定理证明

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

Forked from leanprover-community/mathematics_in_lean

Lean 形式化数学

HTML 22 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 83 5
lean-zh.github.io lean-zh.github.io Public

Homepage of the Lean-zh website.

63 2

Repositories

Type

All Public Sources Forks Archived Mirrors Templates

Language

All HTML JavaScript Jupyter Notebook Lean Python TeX TypeScript

Sort

Last updated Name Stars

Showing 10 of 41 repositories

protobuf Public
protobuf implementation for Lean 4

Uh oh!

There was an error while loading. Please reload this page.

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

Lean 14 MIT 3 0 0 Updated Sep 1, 2026
fp-lean-zh Public
Lean 函数式编程

Uh oh!

There was an error while loading. Please reload this page.

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

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

Uh oh!

There was an error while loading. Please reload this page.

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

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

Uh oh!

There was an error while loading. Please reload this page.

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

63 MIT 2 1 (1 issue needs help) 0 Updated Aug 13, 2026
binary Public

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

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

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

Uh oh!

There was an error while loading. Please reload this page.

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
逻辑验证漫游指南

Uh oh!

There was an error while loading. Please reload this page.

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

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

Uh oh!

There was an error while loading. Please reload this page.

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

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

Uh oh!

There was an error while loading. Please reload this page.

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

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