cvc5
A Foreign Function Interface (FFI) to cvc5 solver in Lean.
of 3 packages depending on abdoo8080/cvc5
1-3Sort by
Package Name
GasStationManager/FormalizeWithTestuses
b7a6933
Autoformalization of coding problems, verified with test casesufmg-smite/smtuses
fc92260
Tactics for discharging Lean goals into SMT solvers.avigad/VerificationDemouses
ea389d5
A temporary repository