This is the command coqtop.opt that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
NAME
coqtop.opt - The native-code Coq toplevel
SYNOPSIS
coqopt.opt [ options ] [ file ]
DESCRIPTION
coqopt.opt is the native-code version of Coq. It should not be called directly, but only
by coqtop and coqc
Use coqtop.opt online using onworks.net services