No results found

Seymour

This project is about formally verifying Seymour's decomposition theorem for regular matroids.
Displaying 1-1 of 1 versions of Seymour
Sort by
  1. Not a part of any version track.
    13c9ccb
    7 days ago
    Released on April 18, 2025 at 1:16:55PM
    Commit 13c9ccb builds on its recent leanprover/lean4:v4.19.0-rc2
    v4.19.0-rc2
    4.9 MB Build archive size: 4942314 bytes.