Тихо и незаметно вышла новая версия системы интерактивного доказательства теорем Coq (Петух). Система Coq предоставляет язык Gallina (Курица) -- функциональный язык с зависимыми типами, основанный на исчислении индуктивных конструкций. Особеннос...
Мы используем cookie-файлы, чтобы улучшить сервисы для вас. Если ваш возраст менее 13 лет, настроить cookie-файлы должен ваш законный представитель. Больше информации
Нет комментариев