blob: 9f5d8ac719c92345ec41c13c4b22ceb7c819ec74 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
.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 coqdep (1).
.br
.I
The Coq Reference Manual.
.I
The Coq web site: http://coq.inria.fr
|
