Star leanprover / lean4 Lean 4 programming language and theorem prover Lean 1,638 156 Built by 4 stars today