package coq-fourcolor

  1. Overview
  2. No Docs
Mechanization of the Four Color Theorem

Install

Dune Dependency

math-comp.github.io Edit opam file Versions (9)

Authors

  1. G
    Georges Gonthier

Maintainers

  1. M
    Mathematical Components <mathcomp-dev@sympa.inria.fr>

Sources

v1.2.2.tar.gz
sha256=3e19b737636f06075d833b22ceb44e998724a43e9e2586a7639c82a147f02603

Description

Proof of the Four Color Theorem

This library contains a formalized proof of the Four Color Theorem, along with the theories needed to support stating and then proving the Theorem. This includes an axiomatization of the setoid of classical real numbers, basic plane topology definitions, and a theory of combinatorial hypermaps.

Tags

keyword:Four color theorem keyword:small scale reflection keyword:mathematical components

Published: 23 Jun 2020

Dependencies (1)

  1. coq-mathcomp-algebra >= "1.11.0" & < "1.12"

Dev Dependencies

None

Conflicts

None