Linyxuscapless

Displaying 1-1 of 1 versions of capless
Sort by
  1. Not a part of any version track.
    9beeba1
    24 days ago
    Released on January 29, 2026 at 1:09:18PM
    Commit 9beeba1 builds on its old leanprover/lean4:v4.21.0-rc3
    v4.21.0-rc3
    13.7 MB Build archive size: 13701285 bytes.