Это команда coqtop.byte, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
coqtop.byte - байт-код верхнего уровня Coq
СИНТАКСИС
coqtop.byte [ кредита ] [ файл ]
ОПИСАНИЕ
coqopt.byte это версия Coq с байт-кодом. Он не должен вызываться напрямую, а только
Coqtop и кокс
Используйте coqtop.byte в Интернете с помощью сервисов onworks.net