GitHub repository: math-comp/fourcolor
Primary language: Coq
Created: 2018-11-06T16:26:55Z
Description: Formal proof of the Four Color Theorem