leanprover/lean4

Lean 4 programming language and theorem prover

语言：Lean · GitHub 星标：9,886 · Fork：1,091

话题：lean · lean4

在 GitHub 上查看原仓库