| He is the leader of the CompCert project that develops an optimizing compiler for C (programming language), formally verified in Coq. |
Он является руководителем проекта CompCert, который разрабатывает оптимизирующий компилятор для С, формально верифицированный в Coq. |
| Comfortable and quiet accommodation with free parking-lot in central Tallinn, 200 m from A Le Coq Arena football stadium. |
Гостиница Lilleküla Hotell расположена в 5 минутах езды от исторического центра Таллинна в удобном, тихом месте с бесплатной парковкой, 200 м oт A Le Coq Arena. |
| A fully formal proof, checked with the Coq proof assistant, was announced in September 2012 by Georges Gonthier and fellow researchers at Microsoft Research and INRIA. |
Конечное формальное доказательство, проверенное с помощью системы автоматического доказательства теорем Coq, объявил в сентябре 2012 Жорж Гонтье, работавший вместе с группой сотрудников в подразделении Microsoft Research и INRIA. |
| Tallinn-Väike train station Tondi train and tram station A. Le Coq Arena, the home ground of the Estonia national football team and FC Flora Tallinn. |
Железнодорожная станция Таллин-Вяйке Трамвайная остановка Тонди А. Le Coq Arena, главный футбольный стадион Эстонии и домашний стадион эстонской футбольной сборной и клуба «Флора». |
| He led the Coq project in the 1990s with Christine Paulin, who developed the Coq proof assistant. |
Возглавлял проект Coq в 1990-х годах с Кристин Полин, разрабатывавшей проверку ассистента Coq. |