Jump to content

Georges Gonthier

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Rathfelder (talk | contribs) at 19:37, 3 October 2022 (removed Category:20th-century mathematicians; added Category:20th-century Canadian mathematicians using HotCat). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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 expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Georges_Gonthier&oldid=1113899747"