| 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-й сезон чемпионата Эстонии по футболу с момента его основания. |
| He led the Coq project in the 1990s with Christine Paulin, who developed the Coq proof assistant. |
Возглавлял проект Coq в 1990-х годах с Кристин Полин, разрабатывавшей проверку ассистента Coq. |