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.
    06fdc82
    a day ago
    Released on February 1, 2025 at 3:53:49PM
    Commit 06fdc82 builds on its recent leanprover/lean4:v4.16.0-rc2
    v4.16.0-rc2
    2.2 MB Build archive size: 2173496 bytes.