Star leanprover-community / batteries The "batteries included" extended library for the Lean programming language and theorem prover Lean 213 87 Built by 2 stars today