smt
Tactics for discharging Lean goals into SMT solvers.
1-4 of 4 packages depending on ufmg-smite/smt
Sort by
Package Name
GasStationManager/FormalizeWithTestuses
0e0e28cAutoformalization of coding problems, verified with test casesjoehendrix/lean-cryptouses
8cb2f22Cryptographic routines for the Lean 4 languageverse-lab/veiluses
4cdea12A 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
0b41804A temporary repository