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.
    be634bd
    4 hours ago
    Released on January 15, 2025 at 1:26:19PM
    Commit be634bd builds on its recent leanprover/lean4:v4.16.0-rc2
    v4.16.0-rc2
    132.2 MB Build archive size: 132175635 bytes.