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.
101Updated last month

Alternatives and similar repositories for veil

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

Sorting: