Skip to content

Email Badge Telegram Badge QQ群 Website

Lean-zh 组织


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

项目目标

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

如何开始?


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

Pinned Loading

  1. fp-lean-zh fp-lean-zh Public

    Lean 函数式编程

    JavaScript 26 9

  2. tp-lean-zh tp-lean-zh Public

    Lean 定理证明

    JavaScript 10 5

  3. GlimpseOfLean GlimpseOfLean Public

    Forked from PatrickMassot/GlimpseOfLean

    Lean 定理证明初探

    Lean 3 1

  4. math-in-lean-zh math-in-lean-zh Public

    Forked from leanprover-community/mathematics_in_lean

    The user home repository for the Mathematics in Lean tutorial.

    HTML 6 4

Repositories

Showing 10 of 18 repositories

Top languages

Loading…

Most used topics

Loading…