lean4:精益4编程语言和定理证明者 源码
这是Lean 4的存储库,目前正作为里程碑版本向第一个稳定版本发布。 仍是最新的稳定版本。 关于 安装 请参阅。 贡献 请先阅读我们的。 从源头建造 请参阅。
下载地址
用户评论
