coqtop.byte - Man Page

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