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.3.tar.gz
sha256=09e4e03fa5d17306f901d3bfb9805b91032ea70d1cd3ac24e0b897237048c111

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: 16 Dec 2020

Dependencies (2)

  1. coq-mathcomp-algebra >= "1.12.0" & < "1.13"
  2. coq < "8.14"

Dev Dependencies

None

Conflicts

None