leanproversubverso

Displaying 1-1 of 1 versions of subverso
Sort by
  1. Not a part of any version track.
    7ada0ee
    9 days ago
    Released on January 9, 2026 at 3:10:46PM
    Commit 7ada0ee builds on its old leanprover/lean4:nightly-2025-11-30
    nightly-2025-11-30
    311.2 MB Build archive size: 311169100 bytes.