wilcoxjay/coq-wigderson

Formalization of Wigderson's graph coloring algorithm in Coq

CoqMIT