lean4

Lean 4 是 Lean 4 编程语言和定理证明器的代码仓库，该工具用于编写和检查形式化证明，并开发函数式程序。项目提供了快速入门指南、主页、定理证明教程、函数式编程指南、文档概览、语言参考、自 v4.0.0-m3 起的发布说明、示例以及外部贡献指南。安装说明可在项目网站上获取，并且可以按照文档中记录的构建流程从源代码构建项目。贡献者在提交更改之前，请先阅读贡献指南。