Pakket: coqide (8.4~beta+dfsg-4 en anderen)

[ Bron: coq  ]

Experimenteel pakket

Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.

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.4~beta+dfsg-3) [alpha, sh4]

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

  dep: coq (= 8.4~beta+dfsg-4) [niet alpha, sh4]

• dep: libatk1.0-0 (>= 1.12.4) [amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  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) [amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  The Cairo 2D vector graphics library

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

  virtueel pakket geboden door libcoq-ocaml

• dep: libcoq-ocaml-unb18 [alpha, sh4]

  virtueel pakket geboden door libcoq-ocaml

• dep: libfontconfig1 (>= 2.8.0) [amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  generic font configuration library - runtime

• dep: libfreetype6 (>= 2.2.1) [amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  FreeType 2 lettertypesysteem, gedeelde bibliotheken

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

  GCC support bibliotheek

• dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  GDK Pixbuf library

• dep: libglib2.0-0 (>= 2.24.0) [amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  GLib library of C routines

• dep: libgtk2.0-0 (>= 2.24.0) [amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  GTK+ graphical user interface library

• dep: liblablgtk2-ocaml-yeug0 [niet amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  Pakket niet beschikbaar

• dep: libpango1.0-0 (>= 1.14.0) [amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  Layout and rendering of internationalized text

• dep: ocaml-base-nox-3.12.1 [niet amd64, armel, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]

  Pakket niet beschikbaar

coqide downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
alpha (unofficial port)	8.4~beta+dfsg-3	317,5 kB	1.432,0 kB	[overzicht]
amd64	8.4~beta+dfsg-4	1.027,5 kB	3.449,0 kB	[overzicht]
armel	8.4~beta+dfsg-4	912,1 kB	2.431,0 kB	[overzicht]
armhf	8.4~beta+dfsg-4	317,4 kB	1.432,0 kB	[overzicht]
i386	8.4~beta+dfsg-4	811,0 kB	2.360,0 kB	[overzicht]
ia64	8.4~beta+dfsg-4	317,7 kB	1.369,0 kB	[overzicht]
kfreebsd-amd64	8.4~beta+dfsg-4	1.027,9 kB	3.393,0 kB	[overzicht]
kfreebsd-i386	8.4~beta+dfsg-4	811,8 kB	2.304,0 kB	[overzicht]
mips	8.4~beta+dfsg-4	318,3 kB	1.432,0 kB	[overzicht]
mipsel	8.4~beta+dfsg-4	318,4 kB	1.432,0 kB	[overzicht]
powerpc	8.4~beta+dfsg-4	914,8 kB	2.520,0 kB	[overzicht]
s390	8.4~beta+dfsg-4	317,5 kB	1.432,0 kB	[overzicht]
s390x	8.4~beta+dfsg-4	318,4 kB	1.432,0 kB	[overzicht]
sh4 (unofficial port)	8.4~beta+dfsg-3	318,3 kB	1.432,0 kB	[overzicht]
sparc	8.4~beta+dfsg-4	903,4 kB	2.444,0 kB	[overzicht]