Star leanprover / lean4 Lean 4 programming language and theorem prover Lean 607 39 Built by 4 stars today