Star leanprover / lean4 Lean 4 programming language and theorem prover Lean 1,341 120 Built by 6 stars today
Star leanprover-community / mathlib Lean mathematical components library Lean 1,085 226 Built by 3 stars today