lean4:定理证明与函数式编程的开源语言平台

Star5
0
代码
代码
Issues
Pull Requests
项目讨论
Wiki
分析
Star5
0

Lean 4 programming language and theorem prover

分支5335Tags135

项目介绍

Lean 4 编程语言与定理证明器【此简介由AI生成】

Apache-2.0 Lean40.93 K提交数leanlean4
定制我的领域
README
818.57 K914访问 GitHub