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