Rechercher une page de manuel
coq-interface
Langue: en
Version: 313757 (ubuntu - 07/07/09)
Section: 1 (Commandes utilisateur)
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).
SEE ALSO
coqc(1), coqdep(1), coqtop(1), parser(1).
The Coq Reference Manual. The Coq web site: http://coq.inria.fr
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre