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.
    9c01045
    8 hours ago
    Released on June 30, 2025 at 7:30:03AM
    Commit 9c01045 builds on its old leanprover/lean4:v4.18.0
    v4.18.0
    10.4 MB Build archive size: 10414389 bytes.