Star leanprover / lean4 Lean 4 programming language and theorem prover Lean 2,094 201 Built by 7 stars today
Star leanprover-community / mathlib Lean mathematical components library Lean 1,440 283 Built by 0 stars today