Matroid Decomposition Theorem Verification

The goal of this project is to formally verify Seymour's decomposition theorem in Lean 4.

Blueprint

References

Used tools and projects