verse-labveil

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

    smt3c6b049

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

    auto36d85bf

    Experiments on automation for Lean