Trace Id is missing

Unlock your potential with Microsoft Copilot

Get things done faster and unleash your creativity with the power of AI anywhere you go.
Download the Copilot app
Microsoft Copilot app being utilized to generate pictures of a singing dog, assisting to identify a flower, and helping to generate an email to congratulate a coworker on a promotion.

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