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