dagurtomasLeanCondensed

Displaying 1-1 of 1 versions of LeanCondensed
Sort by
  1. Not a part of any version track.
    3dc7bfa
    a month ago
    Released on July 10, 2025 at 6:18:58AM
    Commit 3dc7bfa builds on its recent leanprover/lean4:v4.22.0-rc3
    v4.22.0-rc3
    3.2 MB Build archive size: 3174685 bytes.