github.com/coq/opam-coq-archive
Mechanization of the Four Color Theorem
opam install coq-fourcolor.1.2