No results found

compfiles

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.
    1061709
    3 hours ago
    Released on January 20, 2025 at 1:05:02PM
    Commit 1061709 builds on its recent leanprover/lean4:v4.16.0-rc2
    v4.16.0-rc2
    132.1 MB Build archive size: 132090102 bytes.