Coq

Coq Development Team

3.0

голосов: 1

Лицензия: Бесплатная

Количество загрузок:14

Операционная система:Windows XP/Vista/7/8/10/11

Последняя версия:8.4

Загрузить сейчас с сайта разработчика

Cкриншот

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.

Мы предлагаем оценить другие программы, такие как Dairy Management System или System Restore Manager, которые часто используются вместе с Coq.

Скачать Coq с сайта разработчика

Сообщить о неточности

полезно

Как почистить реестр

полезно

Как создавать векторную графику

полезно

Как использовать брандмауэр