Reservoir
No results found
All Packages
VerificationDemo
A temporary repository
Readme
Versions (1)
Dependencies (10)
Transitive
Include transitive dependencies
Sort by
Require Order
Git dependency.
Not found on Reservoir.
Cli
bf066c3
Git dependency.
Found on Reservoir.
mathlib
dfcf58d
The math library of Lean 4
Git dependency.
Found on Reservoir.
smt
0b41804
Tactics for discharging Lean goals into SMT solvers.
1
20