This is the command coqtop.byte 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.byte - The bytecode Coq toplevel
SYNOPSIS
coqtop.byte [ options ] [ file ]
DESCRIPTION
coqopt.byte is the bytecode version of Coq. It should not be called directly, but only by
coqtop and coqc
Use coqtop.byte online using onworks.net services