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.

    smt639e041

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

    auto44f1018

    Experiments on automation for Lean