SYNOPSIS
coq-interface [ options ]
DESCRIPTION
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.
OPTIONS
- -h
-
Help. Will give you the complete list of options accepted by
coq-interface (the same as coqtop).