fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
160 stars
14 watching
20 forks
Language: Coq
last commit: 2 months ago
Linked from 2 awesome lists
coqcoq-cifour-color-theoremmathcompssreflect
Formal proof of the Four Color Theorem [maintainer=@ybertot]