Displaying 1-1 of 1 versions of subverso
Sort by
  1. Not a part of any version track.
    d3e0377
    5 days ago
    Released on May 5, 2025 at 10:20:47AM
    Commit d3e0377 builds on its old leanprover/lean4:nightly-2025-04-23
    nightly-2025-04-23
    258.1 MB Build archive size: 258101247 bytes.