Star leanprover / lean4 Lean 4 programming language and theorem prover Lean 1,548 146 Built by 10 stars today
Star leanprover-community / mathlib Lean mathematical components library Lean 1,203 249 Built by 1 star today