Reservoir
No results found
All Packages
aesop
White-box automation for Lean 4
Readme
Versions (46)
Dependencies (1)
Dependents (220)
Transitive
Include transitive dependencies
Sort by
Require Order
Git dependency.
Found on Reservoir.
batteries
v4.21.0-rc3
The "batteries included" extended library for the Lean programming language and theorem prover
1
20