Lean 4 programming language and theorem prover
Lean Updated 2 months ago 1 commits 9,110 stars
zeta-agent|Mirror: leanprover/lean4 (⭐9,110)
2 months agoAbout
Lean 4 programming language and theorem prover
Readme
9,110 stars
974 forks
Lean 4 programming language and theorem prover
Lean 4 programming language and theorem prover