Это команда coq_makefile, которую можно запустить в провайдере бесплатного хостинга OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
coq_makefile - Генератор make-файлов Coq Proof Assistant
СИНТАКСИС
coq_makefile [ Аргументы ]
ОПИСАНИЕ
coq_makefile - это генератор make-файлов для разработок, защищенных от Coq.
ДОПОЛНИТЕЛЬНЫЕ УСЛУГИ, НЕ ВКЛЮЧЕННЫЕ В ПАКЕТ
-h Дам вам описание всего списка опций coq_makefile.
Используйте coq_makefile онлайн с помощью сервисов onworks.net
