verse-labveil

A verifier for automated and interactive proofs about transition systems.
Sort by
  1. Git dependency.
    Found on Reservoir.

    Loomd7fd586

    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.
  2. Git dependency.
    Not found on Reservoir.

    smt5c14319