coqtop.byte - Online in the Cloud

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



Latest Linux & Windows online programs