Displaying 1-1 of 1 versions of verina
Sort by
  1. Not a part of any version track.
    d3d5bbf
    10 days ago
    Released on June 9, 2025 at 3:26:40PM
    Commit d3d5bbf builds on its old leanprover/lean4:v4.18.0
    v4.18.0
    6.5 KB Build archive size: 6486 bytes.