Coq OPAMcoq-fourcolor
Mechanization of the Four Color Theorem
opam install coq-fourcolor.1.2
- homepage
- https://math-comp.github.io/math-comp/
- license
- CeCILL-B
- bugs tracker
- Mathematical Components <mathcomp-dev@sympa.inria.fr>
- dependencies
- "coq-mathcomp-algebra" {>= "1.8.0" & < "1.9"}
- source
- https://github.com/math-comp/fourcolor/archive/v1.2.tar.gz
- package
- https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-fourcolor/coq-fourcolor.1.2