1COQ(1)                      General Commands Manual                     COQ(1)
2
3
4

NAME

6       coqtop.opt - The native-code Coq toplevel
7
8
9

SYNOPSIS

11       coqopt.opt [ options ] [ file ]
12
13

DESCRIPTION

15       coqopt.opt  is  the native-code version of Coq. It should not be called
16       directly, but only by coqtop and coqc
17
18

SEE ALSO

20       coqtop(1), coqc(1).
21       The Coq Reference Manual.  The Coq web site: http://coq.inria.fr
22
23
24
25                                                                        COQ(1)