|
|
File Search | Catalog | Content Search |
This packages provides coqtop, a command line interface to Coq.
A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral-coq package to be installed.
| Homepage: | - |
| Package version: | 8.0pl3-2 |
| Architecture: | i386 |
| Distribution: | Debian |
| Filename: | coq_8.0pl3-2_i386.deb |
-------------------------- + Coq package for Debian + -------------------------- Binary (in)compatibility ------------------------ The compiled libraries of Coq (the *.vo) are not expected to be backward or upward compatible between releases (including plX releases). In case of a new upstream release, your Coq files should be recompiled. Coq frontends ------------- For interactive use of coqtop more»
COQ(1) COQ(1)
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 co
more»COQ(1) COQ(1)
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 co
more»COQ-TEX(1) COQ-TEX(1)
NAME
coq-tex - Proces
more»COQ(1) COQ(1)
NAME
coq_makefile - T
more»COQ(1) COQ(1)
NAME
coqc - The Coq P
more»COQ(1) COQ(1)
NAME
coqdep - Compu
more»coqdoc(1) coqdoc(1)
NAME
coqdoc - A docum
more»| [DIR] | DEBIAN/ (6) 65535+ mirrors | ||
| [DIR] | etc/ (1) 65535+ mirrors | ||
| [DIR] | usr/ (3) 65535+ mirrors |