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
69860d8auto
ec89836Experiments in automation for Lean