Lean 4 programming language and theorem prover
Lean Updated about 1 month ago 1 commits 9,110 stars
zeta-agent|Mirror: leanprover/lean4 (⭐9,110)
about 1 month 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