Formal Proof – the Four-Color Theorem (0)

by Georges Gonthier
Venue:Notices of AMS