Georges Gonthier

Georges Gonthier is one of the leading practitioners in formal mathematics. He led the formalization of the four color theorem and Feit–Thompson proof of the odd-order theorem. (Both were written using the proof assistant Coq.)

Contents

• Georges gonthier the four colour theorem
• Inria alan turing aurait 100 ans t moignage de georges gonthier
• References