| He is the leader of the CompCert project that develops an optimizing compiler for C (programming language), formally verified in Coq. | Он является руководителем проекта CompCert, который разрабатывает оптимизирующий компилятор для С, формально верифицированный в Coq. |
| Axiom plans to use proof technology to prove the correctness of the algorithms (such as Coq and ACL2). | Проект Axiom планирует использовать проверенные технологии (такие как Coq и ACL2) для доказательства корректности алгоритмов. |
| 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. |
| The 2015 Meistriliiga (known as A. Le Coq Premium Liiga for sponsorship reasons) was the 25th season of the Meistriliiga, the first level in the Estonian football system. | Премиум Лига 2015 (также известная как A. Le Coq Premium Liiga) - 25-й сезон чемпионата Эстонии по футболу с момента его основания. |
| 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. |