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