Georges Gonthier

From Wikipedia, the free encyclopedia
We ask you, humbly: don't scroll away.
Hi reader, this Thursday, for the 2nd time recently, we ask you to protect Wikipedia's independence. Thanks to the 2% of readers who donate, Wikipedia and the free knowledge movement are thriving. If you too have benefitted from using Wikipedia, take a minute to donate $2.75 to keep it growing for years. If you are one of our rare donors, we warmly thank you.
Please select a payment method

Georges Gonthier is a Canadian computer scientist and 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.)

See also[]

References[]


Stub icon

This article about a mathematician is a stub. You can help Wikipedia by .

  • v
  • t
Retrieved from ""