Жорж Гонтье

Жорж Гонтье - канадский ученый-компьютерщик и один из ведущих практиков формальной математики. Он руководил формализацией теоремы о четырех цветах и доказательством Фейта – Томпсона теоремы о нечетном порядке. (Оба были написаны с использованием помощника по доказательству Coq.)

• доказательство мухи под руководством Томаса Каллистера Хейлза

• Персональная страница в Microsoft Research
• Документ, описывающий доказательство теоремы четырех цветов
• новостная статья Phys.org с описанием доказательства Фейта-Томпсона
• Пресс-релиз INRIA со ссылками на Coq code of Feit-Thompson Proof

.