cvc5
A Foreign Function Interface (FFI) to cvc5 solver in Lean.
1-4 of 4 packages depending on abdoo8080/cvc5
Sort by
Package Name
GasStationManager/FormalizeWithTestuses
b7a6933Autoformalization of coding problems, verified with test casesufmg-smite/smtuses
6ab4368Tactics for discharging Lean goals into SMT solvers.verse-lab/veiluses
6ab4368A 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