Coq Proof of the Four Color Theorem

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

    2.0

    File Name:

    4ct.msi

    Date Published:

    5/11/2016

    File Size:

    634 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 System

    Windows 10 , Windows 7, Windows 8

      • Windows 7, Windows 8, or Windows 10
      • Click Download and follow the instructions.
Site feedback
Microsoft

What category would you like to give web site feedback on?



Rate your level of satisfaction with this web page today:

Comments:

Submit