Coq
Лицензия:Бесплатная
Количество загрузок:22
Операционная система:Windows XP / Vista / 7 / 8 / 10 / 11
Последняя версия:8.4
Описание
Coq 8.4 можно было скачать с сайта разработчика при последней проверке. Мы не можем гарантировать бесплатную загрузку этой программы.
Рекомендуется проверять загруженные файлы любым бесплатным антивирусом, поскольку мы не можем гарантировать их безопасность.
Это бесплатное программное обеспечение принадлежит Coq Development Team. Вы можете найти следующие загрузочные файлы программы: coqide.exe или coqtop.exe и т.д.
Эта бесплатная программа устанавливается на Windows XP/Vista/7/8/10/11, 32-бит версию. Версии 8.4 и 8.2 наиболее популярны среди пользователей. Программа относится к категории Разработчикам.
От разработчика:
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Typical applications include the formalization of programming languages semantics, the formalization of mathematics and teaching.
Мы предлагаем оценить другие программы, такие как XLogo, которые часто используются вместе с Coq.
Комментарии
Подписаться на комментарииПожалуйста, прокомментируйте Ваш выбор.