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

[ Source:  ]

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.

Muut pakettiin coqide liittyvät paketit

• dep: coq (>= 8.0)

  proof assistant for higher-order logic (toplevel and compiler)

• dep: libatk1.0-0 (>= 1.20.0)

  ATK accessibility toolkit

• dep: libc6 (>= 2.5-5)

  GNU-C-kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc6-udeb

• dep: libcairo2 (>= 1.2.4)

  Cairo 2D vector graphics library

• dep: libglib2.0-0 (>= 2.12.0)

  GLib library of C routines - transitional package

• dep: libgtk2.0-0 (>= 2.12.0)

  GTK graphical user interface library - old version

• dep: libncurses5 (>= 5.6+20071006-3)

  Paketti ei saatavilla

• dep: libpango1.0-0 (>= 1.20.2)

  Layout and rendering of internationalized text (transitional package)

• dep: tex-common (>= 1.10)

  common infrastructure for building and installing TeX

Imuroi coqide

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
m68k (epävirallinen siirros)	8.1.pl3+dfsg-1+b2	2,363.1 kt	8,880.0 kt	[tiedostoluettelo]