.TH COQ 1 "April 25, 2001"
.SH NAME
coqtop \- The Coq Proof Assistant toplevel system
.SH SYNOPSIS
.B coqtop
[
.B options
]
.SH DESCRIPTION
.B 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
.BR coqc(1).
.SH OPTIONS
.TP
.B \-h
Help. Will give you the complete list of options accepted by coqtop.
.SH SEE ALSO
.BR coqc (1),
.BR coq-tex (1),
.BR coqdep (1).
.br
.I
The Coq Reference Manual.
.I
The Coq web site: http://coq.inria.fr