wvdd007 / fourcolortheorem Goto Github PK
View Code? Open in Web Editor NEWThis project forked from tangentforks/fourcolortheorem
Gonthier's formal proof of the 4-color theorem, in Coq.
Home Page: http://www.ams.org/journals/notices/200811/tx081101382p.pdf
License: Other