leanprover-community

leanprover-community/batteries

The "batteries included" extended library for the Lean programming language and theorem prover

412 stars 155 forks 412 watchers Lean Apache License 2.0

lean lean4

2 Open Issues Need Help Last updated: Aug 1, 2026

Open Issues Need Help

View All on GitHub

Develop the `List.sum`, `List.prod` and related APIs 3 days ago

enhancement help wanted

leanprover-community/batteries

412

The "batteries included" extended library for the Lean programming language and theorem prover

Lean

#lean#lean4

Verify Binary Heap 7 months ago

enhancement help wanted

leanprover-community/batteries

412

The "batteries included" extended library for the Lean programming language and theorem prover

Lean

#lean#lean4