dwrenshacompfiles

Catalog Of Math Problems Formalized In Lean
Displaying 1-1 of 1 versions of compfiles
Sort by
  1. Not a part of any version track.
    4512239
    6 hours ago
    Released on July 11, 2025 at 9:40:04AM
    Commit 4512239 builds on its recent leanprover/lean4:v4.22.0-rc3
    v4.22.0-rc3
    170.9 MB Build archive size: 170930157 bytes.