VerificationDemo | Reservoir

TransitiveInclude transitive dependencies

Sort by

Git dependency.
Not found on Reservoir.
Clibf066c3
Git dependency.
Found on Reservoir.
mathlibdfcf58d
The math library of Lean 4
Git dependency.
Found on Reservoir.
smt0b41804
Tactics for discharging Lean goals into SMT solvers.