项目作者: leanprover

项目描述 :
精益定理证明
高级语言: C++
项目地址: git://github.com/leanprover/lean.git