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.
    31ba951
    a day ago
    Released on June 14, 2025 at 6:10:22AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.18.0