Це команда coq_makefile, яку можна запустити в постачальнику безкоштовного хостингу OnWorks за допомогою однієї з наших численних безкоштовних робочих станцій, таких як Ubuntu Online, Fedora Online, онлайн емулятор Windows або онлайн емулятор MAC OS
ПРОГРАМА:
ІМ'Я
coq_makefile - генератор файлів makefile Coq Proof Assistant
СИНТАКСИС
coq_makefile [ аргументація ]
ОПИС
coq_makefile є генератором make-файлів для розробок Coq proof.
ВАРІАНТИ
-h Дасть вам опис усього списку параметрів coq_makefile.
Використовуйте coq_makefile онлайн за допомогою служб onworks.net