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.