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
For interactive use of Coq, see