fourcolor
fourcolor copied to clipboard
coq-community
Formal proof of the Four Color Theorem [maintainer=@ybertot]
Results
5
fourcolor issues
Sort by
recently updated
recently updated
newest added
Current version has two duplicate-clear warnings that require a little more thinking.
Hello. trying to install, and have this problem. not sure If it really comes from mathcomp ... can you help me please? 
Metadata
151
Stars
19
Forks
Watchers
Owner
Metadata
Formal proof of the Four Color Theorem [maintainer=@ybertot]