Trace Id is missing

Copilot is your AI companion

Always by your side, ready to support you whenever and wherever you need it.
Download the Copilot app
A picture of a dog with a pop up bubble saying Talk to Copilot and asking What celeb does my dog look like?

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:

    7/15/2024

    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