man coqc (Commandes) - The Coq Proof Assistant compiler
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.
OPTIONS
- -h
- Will give you a description of the whole list of options of coqc and coqtop.