First version of Georges Gonthier's 2005 proof of the Four Color Theorem (v1.0 for Coq 7)
-
Updated
Mar 25, 2024 - Coq
First version of Georges Gonthier's 2005 proof of the Four Color Theorem (v1.0 for Coq 7)
Add a description, image, and links to the depository topic page so that developers can more easily learn about it.
To associate your repository with the depository topic, visit your repo's landing page and select "manage topics."