No results found

subverso

Displaying 1-1 of 1 versions of subverso
Sort by
  1. Not a part of any version track.
    5ef42ea
    6 days ago
    Released on April 14, 2025 at 2:43:57PM
    Commit 5ef42ea builds on its old leanprover/lean4:nightly-2025-04-09
    nightly-2025-04-09
    252.0 MB Build archive size: 251955447 bytes.