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.
Displaying 1-4 of 4 versions of veil
Sort by
  1. Not a part of any version track.
    4a17cf1
    v4.23.0
    18 days ago
    Released on October 22, 2025 at 10:21:37AM
    Commit 4a17cf1 builds on its old leanprover/lean4:v4.23.0
    v4.23.0
    65.0 MB Build archive size: 65005933 bytes.
  2. Not a part of any version track.
    4a17cf1
    v4.23.0
    18 days ago
    Released on October 22, 2025 at 10:21:37AM
    Commit 4a17cf1 builds on its old leanprover/lean4:v4.23.0
    v4.23.0
    65.0 MB Build archive size: 65005933 bytes.
  3. Not a part of any version track.
    510f595
    v4.22.0
    2 months ago
    Released on September 8, 2025 at 6:09:52AM
    Commit 510f595 builds on its old leanprover/lean4:v4.22.0
    v4.22.0
    64.4 MB Build archive size: 64363343 bytes.
  4. Not a part of any version track.
    a90d8dc
    v1.0.0
    9 months ago
    Released on February 1, 2025 at 8:47:02AM
    Commit a90d8dc fails to build on leanprover/lean4:v4.15.0
    v4.15.0