cvc5
A Foreign Function Interface (FFI) to cvc5 solver in Lean.
of 5 packages depending on abdoo8080/cvc5
1-5Sort by
Package Name
GasStationManager/FormalizeWithTestuses
b7a6933
Autoformalization of coding problems, verified with test casesproject-numina/libuses
6ab4368
Solving Competition Geometry Problems in Leanufmg-smite/smtuses
77f45ae
Tactics for discharging Lean goals into SMT solvers.verse-lab/veiluses
5069cb6
A 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
ea389d5
A temporary repository