Provided by: coq_8.15.2+dfsg-2_amd64 bug

NAME

       coqtop.opt - The native-code Coq toplevel

SYNOPSIS

       coqopt.opt [ options ] [ file ]

DESCRIPTION

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

SEE ALSO

       coqtop(1), coqc(1).
       The Coq Reference Manual.  The Coq web site: http://coq.inria.fr

                                                                                           COQ(1)