EnglishFrenchSpanish

OnWorks favicon

coqtop.opt - Online in the Cloud

Run coqtop.opt in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

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


Ad


Ad