Star leanprover / lean4 Lean 4 programming language and theorem prover Lean 3,767 321 Built by 8 stars today