ah1112synthetic_euclid_4

Displaying 1-1 of 1 versions of synthetic_euclid_4
Sort by
  1. Not a part of any version track.
    4e20409
    a month ago
    Released on July 27, 2026 at 11:18:05PM
    Commit 4e20409 builds on its old leanprover/lean4:v4.28.0
    v4.28.0
    3.4 MB Build archive size: 3420425 bytes.