Пакунок: coq (8.0pl2-2)

Links for coq

Debian Resources:

Download Source Package coq:

Maintainers:

Debian OCaml Maintainers (QA Page, Mail Archive)
Ralf Treinen (QA Page)
Sven Luther (QA Page)
Jerome Marant (QA Page)
Remi Vanicat (QA Page)
Stefano Zacchiroli (QA Page)
Samuel Mimram (QA Page)

Similar packages:

proof assistant for higher-order logic (toplevel and compiler)

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp4. For more information, see <http://coq.inria.fr/>.

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.

Інші пакунки пов'язані з coq

depends

recommends

suggests

dep: coq-libs (= 8.0pl2-2)

proof assistant for higher-order logic (theories)
dep: libc6 (>= 2.3.2.ds1-4) [not alpha, ia64]

GNU C Library: Shared libraries and Timezone data
also a virtual package provided by libc6-udeb
dep: libc6.1 (>= 2.3.2.ds1-4) [alpha, ia64]

GNU C Library: Shared libraries and Timezone data
also a virtual package provided by libc6.1-udeb
dep: libncurses5 (>= 5.4-1)

Колективні бібліотеки для керування терміналом

rec: coq-doc

Пакунок недоступний
rec: coqide

proof assistant for higher-order logic (gtk interface)

or proofgeneral-coq

ProofGeneral support for coq

sug: cle

Wrap any command-line driven tool with readline
sug: ledit

line editor for interactive programs
sug: ocaml-nox (>= 3.08)

ML language implementation with a class-based object system
sug: proofgeneral-coq

ProofGeneral support for coq

Завантажити coq

Завантаження для всіх доступних архітектур
Архітектура	Розмір пакунка	Розмір після встановлення	Файли
alpha	2,888.5 kB	12760 kB	[список файлів]
amd64 (unofficial port)	6,320.6 kB	23952 kB	[список файлів]
arm	2,741.1 kB	12060 kB	[список файлів]
hppa	7,131.2 kB	22780 kB	[список файлів]
i386	5,895.1 kB	21164 kB	[список файлів]
ia64	3,042.1 kB	13912 kB	[список файлів]
m68k	2,669.0 kB	11760 kB	[список файлів]
mips	2,796.0 kB	13012 kB	[список файлів]
mipsel	2,785.3 kB	13000 kB	[список файлів]
powerpc	6,730.9 kB	22448 kB	[список файлів]
s390	2,849.4 kB	12384 kB	[список файлів]
sparc	6,810.4 kB	22780 kB	[список файлів]