leanprover-community / batteries
The "batteries included" extended library for the Lean programming language and theorem prover
See what the GitHub community is most excited about today.
The "batteries included" extended library for the Lean programming language and theorem prover