Download Coq Proof of the Four Color Theorem from Official Microsoft Download Center

Hands type on a Surface Pro 6 with Type Cover

Surface Pro 6

Stand out from the ordinary

Person using Power BI Desktop

Power BI

Transform data into actionable insights with dashboards and reports

Coq Proof of the Four Color Theorem

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

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