WikiDer > Жорж Гонтье

Georges Gonthier

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

Смотрите также

Рекомендации