![]() |
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 |