apnelson1Matroid

#math
Displaying 1-1 of 1 versions of Matroid
Sort by
  1. Not a part of any version track.
    6f662e2
    3 days ago
    Released on July 8, 2026 at 9:02:15AM
    Commit 6f662e2 builds on its old leanprover/lean4:v4.30.0-rc2
    v4.30.0-rc2
    73.2 MB Build archive size: 73167719 bytes.