agusakov/excluded_minor_binary
Minimum working repository for formalization of Tutte's excluded minor characterization of binary matroids in Lean 3
Lean
Stargazers
No one’s star this repository yet.
Minimum working repository for formalization of Tutte's excluded minor characterization of binary matroids in Lean 3
Lean
No one’s star this repository yet.