Displaying 1-2 of 2 versions of veil
Sort by
  1. Not a part of any version track.
    510f595
    9 days ago
    Released on September 8, 2025 at 6:09:52AM
    Commit 510f595 builds on its recent leanprover/lean4:v4.22.0
    v4.22.0
    64.4 MB Build archive size: 64379656 bytes.
  2. Not a part of any version track.
    a90d8dc
    v1.0.0
    7 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