The formal-proof tag has no wiki summary.

**10**

votes

**1**answer

451 views

### Where can I find Gonthier's Coq code proving the four color theorem?

In a 2008 article in the Notices, Georges Gonthier announced a computer-checked proof of the four color theorem using Coq:
Gonthier, Georges. Formal proofâ€”the four-color theorem.
Notices Amer. ...