关于 Programming Language and Theorem Prover — Lean h
Lean-lang.org 是一个致力于 Lean 编程语言的全面网站。它提供各种资源，包括：
- 教程和文档： 全面的教程、手册和参考文档，指导用户从基础到高级主题。
- 社区论坛： 活跃的论坛，用户可以在其中讨论语言、寻求帮助和分享想法。
- 示例和项目： 大量的代码示例和完整项目，展示 Lean 的功能和用途。
- 在线编辑器： 一个在线编辑器，允许用户在浏览器中编写、运行和共享 Lean 代码。
- 研究论文和出版物： 有关 Lean 基础、应用和当前研究的学术论文和出版物的汇编。
Lean-lang.org 是一个有价值的资源，适合初学者、经验丰富的开发人员和对 Lean 语言感兴趣的任何人。它旨在通过提供广泛的学习、讨论和协作机会，支持用户社区。