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-2 of 2 packages depending on verse-lab/Loom
Sort by
Package Name
verse-lab/veiluses
d7fd586A verifier for automated and interactive proofs about transition systems.verse-lab/Velvetuses
d103408An auto-active verifier embedded into Lean