man coq-interface (Commandes) - coq-interface -
NAME
coq-interface -
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).