collaborators

1 paper

math.CO2026

A Blueprint for the Formalization of Seymour's Matroid Decomposition Theorem

Ivan Sergeev, Martin Dvorak, Cameron Rampell +2

This document is a blueprint for the formalization in Lean of the structural theory of regular matroids underlying Seymour's decomposition theorem. We present a modular account of…