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