COQ

coq-interface −

coq-interface [ options ]

coq-interface is a Coq customized toplevel system for Coq containing some modules useful for the graphical interface. This program is not for the casual user.

−h

Help. Will give you the complete list of options accepted by coq-interface (the same as coqtop).

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