Star leanprover / lean4 Lean 4 programming language and theorem prover Lean 2,175 206 Built by 58 stars this month
Star leanprover-community / mathlib Lean mathematical components library Lean 1,465 287 Built by 22 stars this month