coq-interface1
Customized coq toplevel to make user interfaces
Usage
coq-interface [options]
Overview
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).
Releases
5 releases since Debian 3.0 (Woody); the text changed 1 time.