all options
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: coq  ]

Package: coqide (8.16.1+dfsg-1 and others)

Links for coqide

Screenshot

Debian Resources:

Download Source Package coq:

Maintainers:

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: Matematika, 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
amd64 8.16.1+dfsg-1+b2 1,946.7 kB9,846.0 kB [list of files]
arm64 8.16.1+dfsg-1+b2 2,256.6 kB11,358.0 kB [list of files]
armhf 8.16.1+dfsg-1+b2 1,791.7 kB6,582.0 kB [list of files]
i386 8.16.1+dfsg-1+b2 1,763.9 kB7,580.0 kB [list of files]
ppc64el 8.16.1+dfsg-1+b2 2,027.9 kB10,654.0 kB [list of files]
s390x 8.16.1+dfsg-1+b2 1,933.5 kB10,669.0 kB [list of files]