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 this week.
The "batteries included" extended library for the Lean programming language and theorem prover