/excluded_minor_binary

Minimum working repository for formalization of Tutte's excluded minor characterization of binary matroids in Lean 3

Primary LanguageLean

Stargazers

No one’s star this repository yet.