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