coqtop.byte − The bytecode Coq toplevel
coqtop.byte [ options ] [ file ]
coqopt.byte is the bytecode version of Coq. It should not be called directly, but only by coqtop and coqc
coqtop(1), coqc(1). The Coq Reference Manual. The Coq web site: http://coq.inria.fr
