smt | Reservoir

TransitiveInclude transitive dependencies

Sort by

Git dependency.
Found on Reservoir.
mathlibv4.27.0
The math library of Lean 4
Git dependency.
Found on Reservoir.
cvc50cfacc8
A Foreign Function Interface (FFI) to cvc5 solver in Lean.
Git dependency.
Not found on Reservoir.
auto0828adf