verse-labveil

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.
Sort by
  1. Git dependency.
    Found on Reservoir.

    smtd6c048b

    Tactics for discharging Lean goals into SMT solvers.
  2. Git dependency.
    Found on Reservoir.

    auto2c088e7

    Experiments on automation for Lean