all options
squeeze  ] [  squeeze-backports  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Source: coq  ]

Package: coqide (8.4pl3dfsg-1 and others)

Links for coqide


Debian Resources:

Download Source Package coq:


External Resources:

Similar packages:

proof assistant for higher-order logic (gtk interface)

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 Camlp5.

This package provides CoqIde, a graphical user interface for developing proofs.

Tags: Software Development: IDE, Field: Mathematics, Implemented in: OCaml, User Interface: interface::x11, role::program, Scope: Application, Interface Toolkit: GTK, uitoolkit::ncurses, use::checking, X Window System: Application

Other Packages Related to coqide

  • depends
  • recommends
  • suggests
  • enhances

Download coqide

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 8.4pl3dfsg-1 248.8 kB1,539.0 kB [list of files]
amd64 8.4pl3dfsg-1 777.2 kB3,650.0 kB [list of files]
armel 8.4pl3dfsg-1 783.1 kB3,024.0 kB [list of files]
armhf 8.4pl3dfsg-1 807.1 kB2,517.0 kB [list of files]
hppa (unofficial port) 8.4pl3dfsg-1 248.8 kB1,539.0 kB [list of files]
hurd-i386 8.4pl3dfsg-1 710.9 kB2,893.0 kB [list of files]
i386 8.4pl3dfsg-1 712.7 kB2,895.0 kB [list of files]
kfreebsd-amd64 8.4pl3dfsg-1 776.2 kB3,594.0 kB [list of files]
kfreebsd-i386 8.4pl3dfsg-1 711.2 kB2,837.0 kB [list of files]
m68k (unofficial port) 8.1.pl3+dfsg-1+b2 2,363.1 kB8,880.0 kB [list of files]
mips 8.4pl3dfsg-1 248.8 kB1,539.0 kB [list of files]
mipsel 8.4pl3dfsg-1 248.7 kB1,539.0 kB [list of files]
powerpc 8.4pl3dfsg-1 677.8 kB2,824.0 kB [list of files]
powerpcspe (unofficial port) 8.4pl3dfsg-1 681.4 kB2,770.0 kB [list of files]
ppc64 (unofficial port) 8.4pl3dfsg-1 248.7 kB1,539.0 kB [list of files]
s390x 8.4pl3dfsg-1 248.8 kB1,539.0 kB [list of files]
sh4 (unofficial port) 8.4pl2dfsg-1 322.7 kB1,451.0 kB [list of files]
sparc 8.4pl3dfsg-1 654.4 kB2,769.0 kB [list of files]
sparc64 (unofficial port) 8.4pl2dfsg-4 247.1 kB1,533.0 kB [list of files]