verse-labveil

A verifier for automated and interactive proofs about transition systems.
Displaying 1-5 of 5 versions of veil
Sort by
  1. Not a part of any version track.
    5520c8e
    v4.24.0
    a month ago
    Released on November 28, 2025 at 11:25:01AM
    Commit 5520c8e builds on its old leanprover/lean4:v4.24.0
    v4.24.0
    63.4 MB Build archive size: 63387105 bytes.
  2. Not a part of any version track.
    5520c8e
    v4.24.0
    a month ago
    Released on November 28, 2025 at 11:25:01AM
    Commit 5520c8e builds on its old leanprover/lean4:v4.24.0
    v4.24.0
    63.4 MB Build archive size: 63387105 bytes.
  3. Not a part of any version track.
    4a17cf1
    v4.23.0
    2 months 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: 65006448 bytes.
  4. Not a part of any version track.
    510f595
    v4.22.0
    4 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.
  5. Not a part of any version track.
    a90d8dc
    v1.0.0
    a year ago
    Released on February 1, 2025 at 8:47:02AM
    Commit a90d8dc fails to build on leanprover/lean4:v4.15.0
    v4.15.0