A Formal Proof of the Minor-Exclusion Property for Treewidth-Two Graphs. - Christian Doczkal; Guillaume Combette; Damien Pous (ITP, 2018)