nLab Georges Gonthier

• Wikipedia entry

• MathGenealogy page

• GoogleScholar page

Selected writings

On mathematical structures in Coq:

• François Garillot, Georges Gonthier, Assia Mahboubi & Laurence Rideau, Packaging Mathematical Structures, in: Theorem Proving in Higher Order Logics. TPHOLs 2009, Lecture Notes in Computer Science 5674, Springer (2009) [doi:10.1007/978-3-642-03359-9_23]

Formalized proof of the Feit-Thompson theorem in Coq:

• Georges Gonthier et al.: A Machine-Checked Proof of the Odd Order Theorem, in: Interactive Theorem Proving. ITP 2013, Lecture Notes in Computer Science 7998, Springer (2013) [doi:10.1007/978-3-642-39634-2_14]

Related entries

• type telescope

category: people