Loom
Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.
1-1 of 1 packages depending on verse-lab/Loom
Sort by
Package Name
verse-lab/veiluses
a8f7993A verifier for automated and interactive proofs about transition systems.