Pakket: coqide (8.3.pl4+dfsg-1 en anderen)

[ Bron: coq  ]

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: Softwareontwikkeling: IDE, Field: Wiskunde, Implemented in: OCaml, User Interface: interface::x11, role::program, Scope: Application, Interface Toolkit: GTK, uitoolkit::ncurses, use::checking, X Window Systeem: Application

Andere aan coqide gerelateerde pakketten

• dep: coq (= 8.3.pl4+dfsg-1) [niet ia64, mipsel]

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

  dep: coq (= 8.3.pl4+dfsg-1+b1) [ia64, mipsel]

• dep: libatk1.0-0 (>= 1.12.4) [niet armhf, ia64, mips, mipsel, s390, s390x]

  ATK accessibility toolkit

• dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]

  Embedded GNU C Library: Shared libraries
  Ook een virtueel pakket geboden door: libc0.1-udeb

• dep: libc6 (>= 2.7) [amd64, armel, i386, powerpc, sparc]

  Embedded GNU C Library: Shared libraries
  Ook een virtueel pakket geboden door: libc6-udeb

• dep: libcairo2 (>= 1.2.4) [niet armhf, ia64, mips, mipsel, s390, s390x]

  The Cairo 2D vector graphics library

• dep: libcoq-ocaml-ehg05 [armel]

  virtueel pakket geboden door libcoq-ocaml

• dep: libcoq-ocaml-m0xl3 [amd64, kfreebsd-amd64]

  virtueel pakket geboden door libcoq-ocaml

• dep: libcoq-ocaml-nc3h8 [armhf, ia64, mips, mipsel, s390, s390x]

  virtueel pakket geboden door libcoq-ocaml

• dep: libcoq-ocaml-s00f5 [i386, kfreebsd-i386, powerpc, sparc]

  virtueel pakket geboden door libcoq-ocaml

• dep: libfontconfig1 (>= 2.8.0) [niet armhf, ia64, mips, mipsel, s390, s390x]

  generic font configuration library - runtime

• dep: libfreetype6 (>= 2.2.1) [niet armhf, ia64, mips, mipsel, s390, s390x]

  FreeType 2 lettertypesysteem, gedeelde bibliotheken

• dep: libgcc1 (>= 1:4.4.0) [armel]

  GCC support bibliotheek

• dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [niet armhf, ia64, mips, mipsel, s390, s390x]

  GDK Pixbuf library

• dep: libglib2.0-0 (>= 2.24.0) [niet armhf, ia64, mips, mipsel, s390, s390x]

  GLib library of C routines

• dep: libgtk2.0-0 (>= 2.24.0) [niet armhf, ia64, mips, mipsel, s390, s390x]

  GTK+ graphical user interface library

• dep: liblablgtk2-ocaml-v69e2 [armel, i386, kfreebsd-i386, powerpc, sparc]

  virtueel pakket geboden door liblablgtk2-ocaml

• dep: liblablgtk2-ocaml-yeug0 [armhf, ia64, mips, mipsel, s390, s390x]

  virtueel pakket geboden door liblablgtk2-ocaml

• dep: liblablgtk2-ocaml-yfv67 [amd64, kfreebsd-amd64]

  virtueel pakket geboden door liblablgtk2-ocaml

• dep: libpango1.0-0 (>= 1.14.0) [niet armhf, ia64, mips, mipsel, s390, s390x]

  Layout and rendering of internationalized text

• dep: ocaml-base-nox-3.12.1

  virtueel pakket geboden door ocaml-base-nox

coqide downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
amd64	8.3.pl4+dfsg-1	5.484,0 kB	18.500,0 kB	[overzicht]
armel	8.3.pl4+dfsg-1	5.998,2 kB	18.515,0 kB	[overzicht]
armhf	8.3.pl4+dfsg-1	2.478,3 kB	9.409,0 kB	[overzicht]
i386	8.3.pl4+dfsg-1	5.106,6 kB	15.956,0 kB	[overzicht]
ia64	8.3.pl4+dfsg-1+b1	2.476,6 kB	9.409,0 kB	[overzicht]
kfreebsd-amd64	8.3.pl4+dfsg-1	5.484,5 kB	18.447,0 kB	[overzicht]
kfreebsd-i386	8.3.pl4+dfsg-1	5.104,1 kB	15.904,0 kB	[overzicht]
mips	8.3.pl4+dfsg-1	2.476,7 kB	9.409,0 kB	[overzicht]
mipsel	8.3.pl4+dfsg-1+b1	2.478,0 kB	9.409,0 kB	[overzicht]
powerpc	8.3.pl4+dfsg-1	5.505,2 kB	16.553,0 kB	[overzicht]
s390	8.3.pl4+dfsg-1	2.477,6 kB	9.409,0 kB	[overzicht]
s390x	8.3.pl4+dfsg-1	2.479,5 kB	9.409,0 kB	[overzicht]
sparc	8.3.pl4+dfsg-1	5.362,9 kB	16.467,0 kB	[overzicht]