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
48f3ebc
auto
ec89836
Experiments on automation for Lean