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

Paketti: coqide (8.3.pl4+dfsg-1 ja muut)

Links for coqide

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti coq:

Ylläpitäjät:

External Resources:

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

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

Tagit: Software Development: IDE, Field: Matematiikka, Implemented in: OCaml, User Interface: interface::x11, role::program, Scope: Application, Interface Toolkit: GTK, uitoolkit::ncurses, use::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
amd64 8.3.pl4+dfsg-1 5,484.0 kt18,500.0 kt [tiedostoluettelo]
armel 8.3.pl4+dfsg-1 5,998.2 kt18,515.0 kt [tiedostoluettelo]
armhf 8.3.pl4+dfsg-1 2,478.3 kt9,409.0 kt [tiedostoluettelo]
i386 8.3.pl4+dfsg-1 5,106.6 kt15,956.0 kt [tiedostoluettelo]
ia64 8.3.pl4+dfsg-1+b1 2,476.6 kt9,409.0 kt [tiedostoluettelo]
kfreebsd-amd64 8.3.pl4+dfsg-1 5,484.5 kt18,447.0 kt [tiedostoluettelo]
kfreebsd-i386 8.3.pl4+dfsg-1 5,104.1 kt15,904.0 kt [tiedostoluettelo]
mips 8.3.pl4+dfsg-1 2,476.7 kt9,409.0 kt [tiedostoluettelo]
mipsel 8.3.pl4+dfsg-1+b1 2,478.0 kt9,409.0 kt [tiedostoluettelo]
powerpc 8.3.pl4+dfsg-1 5,505.2 kt16,553.0 kt [tiedostoluettelo]
s390 8.3.pl4+dfsg-1 2,477.6 kt9,409.0 kt [tiedostoluettelo]
s390x 8.3.pl4+dfsg-1 2,479.5 kt9,409.0 kt [tiedostoluettelo]
sparc 8.3.pl4+dfsg-1 5,362.9 kt16,467.0 kt [tiedostoluettelo]