Georges Gonthier

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

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.)

See also[edit]