Home Original page

Lean 中文文档翻译

Email Badge Telegram Badge QQ群 Website

Lean-zh 组织

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

项目目标

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

如何开始？

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

Pinned Loading

  5. Homepage of the Lean-zh website.

    57 2

Repositories

Showing 10 of 34 repositories

  • Lean-zh/LeanUp’s past year of commit activity

    Python

    2

    MIT

    1 0 0

    Updated Apr 14, 2026

  • Lean-zh/LoVe-zh’s past year of commit activity

    Lean

    1

    0

    0 0

    Updated Apr 11, 2026

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

  • Lean-zh/lean4web’s past year of commit activity

    TypeScript

    1

    Apache-2.0

    51 0 0

    Updated Mar 31, 2026

  • GlimpseToGame Public

    A Game Adaptation of the document GlimpseOfLean.

    Lean-zh/GlimpseToGame’s past year of commit activity

    Lean 0 MIT 0

    0 1

    Updated Mar 2, 2026

  • Lean-zh/GlimpseOfLean’s past year of commit activity

    Lean

    38

    Apache-2.0

    140 1 0

    Updated Mar 1, 2026

  • Lean-zh/binary’s past year of commit activity

    Lean

    4

    MIT

    1 0 0

    Updated Feb 1, 2026

  • Lean-zh/LinearAlgebraGame’s past year of commit activity

    Python 0 MIT

    6 0 0

    Updated Jan 26, 2026

  • protobuf Public

    protobuf implementation for Lean 4

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

    Lean

    5

    MIT

    1 0 0

    Updated Jan 10, 2026

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

    Lean

    25

    Apache-2.0

    12 3 0

    Updated Dec 28, 2025