COQIDE(1) | General Commands Manual | COQIDE(1) |
coqide - The Coq Proof Assistant graphical interface
coqide [ options ]
coqide is a gtk graphical interface for the Coq proof assistant.
For command-line-oriented use of Coq, see coqtop(1) ; for batch-oriented use of Coq, see coqc(1).
coqc(1), coqtop(1), coq-tex(1),
coqdep(1).
The Coq Reference Manual, The Coq web site: http://coq.inria.fr,
/usr/share/doc/coqide/FAQ.
This manual page was written by Samuel Mimram <samuel.mimram@ens-lyon.org>, for the Debian project (but may be used by others).