smt | Reservoir

TransitiveInclude transitive dependencies

Sort by

Git dependency.
Found on Reservoir.
mathlibv4.24.0
The math library of Lean 4
Git dependency.
Found on Reservoir.
cvc520a6b2f
A Foreign Function Interface (FFI) to cvc5 solver in Lean.
Git dependency.
Found on Reservoir.
autoa12f0ef
Experiments on automation for Lean