Chapter 11: The Coq commands
There are two Coq commands:| -- coqtop | : | The Coq toplevel (interactive mode) ; |
| -- coqc | : | The Coq compiler (batch compilation). |
The options are (basically) the same for the two commands, and roughly described below. You can also look at the
man pages of
coqtop and coqc for more details.