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

Package: coqide (8.2.pl2+dfsg-1)

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: Mathematics, Implemented in: OCaml, User Interface: X Window System, Role: Program, Scope: Application, Interface Toolkit: GTK, Ncurses TUI, Purpose: Checking, X Window System: Application

Other Packages Related to coqide

  • depends
  • recommends
  • suggests
  • enhances

Download coqide

Download for all available architectures
Architecture Package Size Installed Size Files
powerpc 6,440.3 kB19,432.0 kB [list of files]