No results found

Matroid

#math
Displaying 1-1 of 1 versions of Matroid
Sort by
  1. Not a part of any version track.
    e8861c7
    2 days ago
    Released on March 14, 2025 at 8:43:11PM
    Commit e8861c7 builds on its recent leanprover/lean4:v4.18.0-rc1
    v4.18.0-rc1
    16.4 MB Build archive size: 16397805 bytes.