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.1.tar.gz
sha256=7bed7a08f388d7f0910d39593dc7e1dcb4fd30af76cba01d11502db713393281

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: 02 Mar 2020

Dependencies (1)

  1. coq-mathcomp-algebra >= "1.10.0" & < "1.11"

Dev Dependencies

None

Conflicts

None