Open Issues Need Help
View All on GitHub Develop the `List.sum`, `List.prod` and related APIs about 2 months ago
enhancement help wanted
The "batteries included" extended library for the Lean programming language and theorem prover
Lean
#lean#lean4
Verify Binary Heap 9 months ago
enhancement help wanted
The "batteries included" extended library for the Lean programming language and theorem prover
Lean
#lean#lean4