cvc5
A Foreign Function Interface (FFI) to cvc5 solver in Lean.
1-5 of 5 packages depending on abdoo8080/cvc5
Sort by
Package Name
GasStationManager/FormalizeWithTestuses
b7a6933Autoformalization of coding problems, verified with test casesproject-numina/libuses
6ab4368Solving Competition Geometry Problems in Leanufmg-smite/smtuses
77f45aeTactics for discharging Lean goals into SMT solvers.verse-lab/veiluses
77f45aeA verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.avigad/VerificationDemouses
ea389d5A temporary repository