A computer-checked proof of the Four Colour Theorem. Available at http://research.microsoft.com/~gonthier (0)

by G Gonthier