Reservoir
No results found
All Packages
Duper
Readme
Versions (29)
Dependencies (2)
Dependents (2)
Transitive
Include transitive dependencies
Sort by
Require Order
Git dependency.
Found on Reservoir.
batteries
v4.20.0-rc2
The "batteries included" extended library for the Lean programming language and theorem prover
Git dependency.
Found on Reservoir.
auto
b9a5fa7
Experiments in automation for Lean
1
20