leanprover / lean4

Lean 4 编程语言和定理证明器

仓库 Star

9,894总榜 #5,486

Fork

1,092

最近推送

今天更新

仓库创建

2018 年创建