COQ(1) | General Commands Manual | COQ(1) |
coqtop - The Coq Proof Assistant toplevel system
coqtop [ options ]
coqtop is the toplevel system of Coq, for interactive use. It reads phrases on the standard input, and prints results on the standard output.
For batch-oriented use of Coq, see coqc(1).
coqc(1), coq-tex(1), coqdep(1).
The Coq Reference Manual. The Coq web site:
http://coq.inria.fr