A verifier for automated and interactive proofs about transition systems.
Latest commits.
Builders behind this project.
