leanprover-community/batteries

**Summary:** The leanprover-community/batteries project is an open-source, extended library for the Lean programming language and theorem prover, providing a "b