☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (3)
Dependencies (11)
Seymour
This project is about formally verifying Seymour's decomposition theorem for regular matroids.
Displaying
1-3
of
3
versions of
Seymour
Sort by
Date
Not a part of any version track.
4f3d17b
8 days ago
Released on January 3, 2026 at 12:14:04PM
Commit 4f3d17b builds on its old leanprover/lean4:v4.18.0
v4.18.0
14.0 MB
Build archive size: 13953946 bytes.
Not a part of any version track.
cd8eea3
v1.1.0
18 days ago
Released on December 24, 2025 at 12:48:47PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.18.0
Not a part of any version track.
2d46974
v1.0.0
4 months ago
Released on September 5, 2025 at 4:19:00PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.18.0
1
20