Open Issues Need Help
View All on GitHub Develop the `List.sum`, `List.prod` and related APIs 3 months ago
enhancement help wanted
leanprover-community/batteries leanprover-community/batteries The "batteries included" extended library for the Lean programming language and theorem prover
Open project →
412
The "batteries included" extended library for the Lean programming language and theorem prover
Lean
#lean#lean4
Verify Binary Heap 10 months ago
enhancement help wanted
leanprover-community/batteries leanprover-community/batteries The "batteries included" extended library for the Lean programming language and theorem prover
Open project →
412
The "batteries included" extended library for the Lean programming language and theorem prover
Lean
#lean#lean4