 cvc5
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 cases
- project-numina/libuses- 6ab4368Solving Competition Geometry Problems in Lean
- ufmg-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