The Four Colour Theorem: Engineering of a Formal Proof (2007)

by G Gonthier
Venue:In: ASCM