Displaying 1-1 of 1 versions of corelib_verification
Sort by
  1. Not a part of any version track.
    c0969f6
    a day ago
    Released on June 2, 2025 at 12:52:44PM
    Commit c0969f6 builds on its recent leanprover/lean4:v4.20.0-rc5
    v4.20.0-rc5
    10.9 MB Build archive size: 10928954 bytes.