leanprover-community / batteries

The "batteries included" extended library for the Lean programming language and theorem prover
288Updated this week

Alternatives and similar repositories for batteries:

Users that are interested in batteries are comparing it to the libraries listed below