A computer-checked proof of the Four Colour Theorem (2005) [pdf] | Heykuki News