# 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.

- 11.1 Interactive use (`coqtop`)
- 11.2 Batch compilation (`coqc`)
- 11.3 Resource file
- 11.4 Environment variables
- 11.5 Options