Follow
A Constructive Formalization of the Weak Perfect Graph Theorem. (arXiv:1912.02211v1 [cs.LO]) http://arxiv.org/abs/1912.02211
A Constructive Formalization of the Weak Perfect Graph Theorem. (arXiv:1912.02211v1 [cs.LO]) http://arxiv.org/abs/1912.02211