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