Paket: coqide (8.1.pl3+dfsg-1 ve diğerleri) [debports]

[ Kaynak:  ]

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.

coqide ile İlgili Diğer Paketler

• 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 Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket 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)

  Paket mevcut değil

• 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

coqide indir

Tüm mevcut mimariler için indir

Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
m68k (resmi olmayan port)	8.1.pl3+dfsg-1+b2	2.363,1 kB	8.880,0 kB	[dosya listesi]