GitHub repository: siraben/coq-wigderson
Primary language: Coq
Description: Formalization of Wigderson's graph coloring algorithm in Coq