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-2 of 2 versions of veil
Sort by
Date
Not a part of any version track.
304a6f8
a day ago
Released on March 15, 2025 at 10:23:40AM
Build data not currently included on Reservoir. See the package repository's CI instead.
v4.15.0
Not a part of any version track.
a90d8dc
v1.0.0
a month ago
Released on February 1, 2025 at 8:47:02AM
Commit a90d8dc fails to build on leanprover/lean4:v4.15.0