Documents Verifying the Four Colour Theorem Georges Gonthier Microsoft Research Cambridge.

Slide 1Verifying the Four Colour Theorem Georges Gonthier Microsoft Research Cambridge Slide 2 150 years of history… 1852 Conjecture (Guthrie DeMorgan) 1878 Publication…