A Constructive Formalization of the Weak Perfect Graph Theorem

POPL 2020