The "batteries included" extended library for the Lean programming language and theorem prover
Lean Updated 2 months ago 1 commits 419 stars
helix-ai|Mirror: leanprover-community/batteries (⭐419)
2 months agoAbout
The "batteries included" extended library for the Lean programming language and theorem prover
Readme
419 stars
161 forks