Trace Id is missing

Maximize the everyday with Microsoft 365

Get online protection, secure cloud storage, and innovative apps designed to fit your needs—all in one plan.
For 1 personFor up to 6 people
A young woman works on a Surface laptop while Microsoft 365 App icons whirl around her head.

Coq Proof of the Four Color Theorem

A formal proof of the famous Four Color Theorem that has been fully checked by the Coq proof assistant. Last published: April 26, 2006.

Important! Selecting a language below will dynamically change the complete page content to that language.

Download

  • Version:

    2.0

    Date Published:

    5/11/2016

    File Name:

    4ct.msi

    File Size:

    633.5 KB

    A formal proof of the famous Four Color Theorem that has been fully checked by the Coq proof assistant. The vernacular and tactic scripts run on version v8.0 pl2+ of the Coq system, extended with the SSREFLECT tactic package from MSRC.

  • Supported Operating Systems

    Windows 10, Windows 7, Windows 8

    • Windows 7, Windows 8, or Windows 10

    • Click Download and follow the instructions.

Follow Microsoft

Back To Top