/excluded_minor_binary

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

Primary LanguageLean

Watchers