Displaying 1-2 of 2 versions of veil
Sort by
  1. Not a part of any version track.
    ac30f27
    8 days ago
    Released on June 19, 2025 at 9:37:06AM
    Commit ac30f27 fails to build on leanprover/lean4:v4.20.0
    v4.20.0
  2. Not a part of any version track.
    a90d8dc
    v1.0.0
    5 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