This is the command coqc 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
coqc - The Coq Proof Assistant compiler
SYNOPSIS
coqc [ general Coq options ] file
DESCRIPTION
coqc is the batch compiler for the Coq Proof Assistant. The options are basically the
same as coqtop(1). file.v is the vernacular file to compile. file must be formed only
with the characters `a` to `Z`, `0`-`9` or `_` and must begin with a letter. The
compiler produces an object file file.vo.
For interactive use of Coq, see coqtop(1).
OPTIONS
coqc is a script that simply runs coqtop with option -compile it accepts the same options
as coqtop.
-image bin
use bin as underlying coqtop instead of the default one.
-verbose
print the compiled file on the standard output.
Use coqc online using onworks.net services