verse-lab / veilLinks

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.
99Updated 3 weeks ago

Alternatives and similar repositories for veil

Users that are interested in veil are comparing it to the libraries listed below

Sorting: