The "batteries included" extended library for the Lean programming language and theorem prover
Here you can share your experience with the project you are suggesting or its comparison with batteries. Optional.
A valid email to send you a verification link when necessary or log in.