NAME

       coqtop.byte - bytecode toplevel Coq system

SYNOPSIS

       coqtop.byte [ options ] [ file ]

DESCRIPTION

       coqopt.byte is the bytecode 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

                                                                                   COQTOP.BYTE(1)