这是 Lean 4 的代码仓库。 关于 快速入门 主页 定理证明教程 Lean 函数式编程 手册 发布说明(从 v4.0.0-m3 版本开始) 示例 外部贡献指南 常见问题 安装 请参阅设置 Lean。 贡献 请先阅读我们的贡献指南。 从源代码构建 请参阅构建 Lean(文档源码:doc/make/index.md)。