A computer-checked proof of the four colour theorem. 2005. Microsoft Research (0)

by GEORGES GONTHIER