veil
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.
Sort by
Require Order
smt
1df3f34
Tactics for discharging Lean goals into SMT solvers.auto
918a699