Reservoir
No results found
All Packages
cvc5
A Foreign Function Interface (FFI) to cvc5 solver in Lean.
#cvc5
#smt
Readme
Versions (1)
Dependents (2)
Displaying
1-2
of
2
packages depending on
abdoo8080/cvc5
Sort by
Package Name
ufmg-smite/smt
uses
c97ff4c
Tactics for discharging Lean goals into SMT solvers.
avigad/VerificationDemo
uses
ea389d5
A temporary repository
1
20