GitHub repository: leanprover-community/batteries
Primary language: Lean
Description: The "batteries included" extended library for the Lean programming language and theorem prover