Georges Gonthier The Four Colour Theorem: Engineering of a Formal Proof. 333 2007 ASCM http://dx.doi.org/10.1007/978-3-540-87827-8_28 conf/ascm/2007 db/conf/ascm/ascm2007.html#Gonthier07