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.
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.