注册
登录
精益
lean
返回
项目作者:
leanprover
项目描述 :
精益定理证明
高级语言:
C++
项目主页:
http://leanprover.github.io/
项目地址:
git://github.com/leanprover/lean.git
创建时间:
2013-07-17T00:42:34Z
项目社区:
https://github.com/leanprover/lean
开源协议:
Apache License 2.0
关键词:
programming-language
dependent-types
theorem-proving
verification
type-theory
lean
下载