all options
wheezy  ] [  jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Source: coq  ]

Package: coqide (8.6-4 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: implemented-in::ocaml, interface::graphical, User Interface: X Window System, Role: role::program, scope::application, Interface Toolkit: GTK, Ncurses TUI, Purpose: use::checking, x11::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.6-4+b2 1,847.5 kB7,067.0 kB [list of files]
amd64 8.6-4+b1 1,373.8 kB6,611.0 kB [list of files]
arm64 8.6-4+b1 1,390.4 kB6,609.0 kB [list of files]
armel 8.6-4+b1 1,520.8 kB5,967.0 kB [list of files]
armhf 8.6-4+b1 1,561.4 kB5,227.0 kB [list of files]
hppa (unofficial port) 8.6-4+b2 1,847.0 kB7,067.0 kB [list of files]
hurd-i386 8.6-4+b1 1,199.3 kB4,500.0 kB [list of files]
i386 8.6-4+b1 1,284.2 kB5,468.0 kB [list of files]
kfreebsd-amd64 8.6-4+b1 1,375.0 kB6,615.0 kB [list of files]
kfreebsd-i386 8.6-4+b1 1,284.2 kB5,468.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.6-4+b1 1,847.2 kB7,067.0 kB [list of files]
mips64el 8.6-4+b1 1,847.3 kB7,067.0 kB [list of files]
mipsel 8.6-4+b1 1,847.4 kB7,067.0 kB [list of files]
powerpc 8.6-4+b1 1,127.2 kB4,265.0 kB [list of files]
powerpcspe (unofficial port) 8.6-4+b1 1,847.5 kB7,067.0 kB [list of files]
ppc64 (unofficial port) 8.6-4+b2 1,847.2 kB7,067.0 kB [list of files]
ppc64el 8.6-4+b1 1,847.4 kB7,067.0 kB [list of files]
s390x 8.6-4+b1 1,847.3 kB7,067.0 kB [list of files]
sh4 (unofficial port) 8.6-4+b2 1,847.2 kB7,067.0 kB [list of files]
sparc64 (unofficial port) 8.6-4+b2 1,847.5 kB7,067.0 kB [list of files]
x32 (unofficial port) 8.6-4+b2 1,847.5 kB7,067.0 kB [list of files]