all options
Please note that this site contains information about obsolete Debian releases; if you search for current data, please use packages.debian.org.
potato  ] [  woody  ] [  sarge  ] [  etch  ] [  lenny  ] [  squeeze  ] [  squeeze-backports  ]
[ Source: coq  ]

Package: coq (7.2-9)

Links for coq

Screenshot

Debian Resources:

Download Source Package coq:

Maintainer:

Similar packages:

a proof assistant for higher-order logic.

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.

Other Packages Related to coq

  • depends
  • recommends
  • suggests
  • enhances

Download coq

Download for all available architectures
Architecture Package Size Installed Size Files
alpha 8,684.1 kB24,409.0 kB no current information
arm 8,247.4 kB22,768.0 kB no current information
hppa 7,140.3 kB19,896.0 kB no current information
i386 7,986.2 kB21,868.0 kB no current information
ia64 9,680.8 kB28,460.0 kB no current information
m68k 6,972.2 kB19,480.0 kB no current information
mips 7,063.1 kB20,532.0 kB no current information
mipsel 7,058.7 kB20,532.0 kB no current information
powerpc 7,034.0 kB19,744.0 kB no current information
s390 7,038.9 kB19,804.0 kB no current information
sparc 7,063.4 kB19,772.0 kB no current information