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.tar.gz
sha256=93add0655031f2207d8e5b48dcccd76ff6dff7ea0a17ddada07b10a2d0a395b0

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: 26 Apr 2019

Dependencies (1)

  1. coq-mathcomp-algebra >= "1.8.0" & < "1.9"

Dev Dependencies

None

Conflicts

None