Tarkennettu haku
lenny  ] [  squeeze  ] [  squeeze-backports  ] [  wheezy  ] [  sid  ] [  experimental  ]
[ Source: coq  ]

Paketti: coqide (8.1.pl3+dfsg-1 ja muut)

Links for coqide

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti coq:

Ylläpitäjät:

Samankaltaisia paketteja:

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 Camlp4. For more information, see <http://coq.inria.fr/>.

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

Tagit: Software Development: IDE, Field: Matematiikka, Implemented in: OCaml, User Interface: X Window System, Role: Program, Scope: Application, Interface Toolkit: GTK, Ncurses TUI, Purpose: Checking, X Window System: Application

Muut pakettiin coqide liittyvät paketit

  • depends
  • recommends
  • suggests

Imuroi coqide

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Versio Paketin koko Koko asennettuna Tiedostot
alpha 8.1.pl3+dfsg-1+b2 2,410.6 kt9,212.0 kt [tiedostoluettelo]
amd64 8.1.pl3+dfsg-1+b2 5,108.7 kt17,772.0 kt [tiedostoluettelo]
arm 8.1.pl3+dfsg-1+b2 2,354.6 kt8,900.0 kt [tiedostoluettelo]
armel 8.1.pl3+dfsg-1+b2 2,359.7 kt8,928.0 kt [tiedostoluettelo]
hppa 8.1.pl3+dfsg-1+b2 2,389.2 kt9,036.0 kt [tiedostoluettelo]
i386 8.1.pl3+dfsg-1+b2 4,811.6 kt15,712.0 kt [tiedostoluettelo]
ia64 8.1.pl3+dfsg-1+b2 2,440.8 kt9,564.0 kt [tiedostoluettelo]
mips 8.1.pl3+dfsg-1+b2 2,379.9 kt9,124.0 kt [tiedostoluettelo]
mipsel 8.1.pl3+dfsg-1+b2 2,369.1 kt9,124.0 kt [tiedostoluettelo]
powerpc 8.1.pl3+dfsg-1+b2 5,374.0 kt16,676.0 kt [tiedostoluettelo]
s390 8.1.pl3+dfsg-1+b2 2,440.3 kt9,112.0 kt [tiedostoluettelo]
sparc 8.1.pl3+dfsg-1+b2 5,383.5 kt16,740.0 kt [tiedostoluettelo]