Package: coqide (8.4~beta+dfsg-4 and others)

[ Source: coq  ]

Experimental package

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.

Dokazovací asistent používající logiku vyššího řádu (s rozhraním gtk)

Coq je osvědčený pomocník vyšší logiky, který vám umožní vytvářet konzistentní počítačové programy pomocí jejich formální specifikace. Je vytvořen za pomoci Objective Caml a Camlp5.

Tento balíček obsahuje CoqIde, grafické uživatelské rozhraní pro vývoj důkazů.

Tags: Software Development: IDE, Field: Mathematics, Implemented in: OCaml, User Interface: interface::x11, role::program, Scope: Application, Interface Toolkit: GTK, uitoolkit::ncurses, use::checking, X Window System: Application

Other Packages Related to coqide

• 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) [not 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]

  Vestavěná knihovna GNU C: Sdílené knihovny
  also a virtual package provided by libc0.1-udeb

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

  Vestavěná knihovna GNU C: Sdílené knihovny
  also a virtual package provided by libc6-udeb

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

  2D vektorová grafická knihovna Cairo

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

  virtual package provided by libcoq-ocaml

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

  virtual package provided by libcoq-ocaml

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

  Všeobecná knihovna pro nastavení písma - běhová část

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

  Engine písma FreeType 2, soubory sdílené knihovny

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

  Knihovna pro překladač GCC

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

  Package not available

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

  Formátování a vykreslování mezinárodního textu

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

  Package not available

Download coqide

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	8.4~beta+dfsg-3	317.5 kB	1,432.0 kB	[list of files]
amd64	8.4~beta+dfsg-4	1,027.5 kB	3,449.0 kB	[list of files]
armel	8.4~beta+dfsg-4	912.1 kB	2,431.0 kB	[list of files]
armhf	8.4~beta+dfsg-4	317.4 kB	1,432.0 kB	[list of files]
i386	8.4~beta+dfsg-4	811.0 kB	2,360.0 kB	[list of files]
ia64	8.4~beta+dfsg-4	317.7 kB	1,369.0 kB	[list of files]
kfreebsd-amd64	8.4~beta+dfsg-4	1,027.9 kB	3,393.0 kB	[list of files]
kfreebsd-i386	8.4~beta+dfsg-4	811.8 kB	2,304.0 kB	[list of files]
mips	8.4~beta+dfsg-4	318.3 kB	1,432.0 kB	[list of files]
mipsel	8.4~beta+dfsg-4	318.4 kB	1,432.0 kB	[list of files]
powerpc	8.4~beta+dfsg-4	914.8 kB	2,520.0 kB	[list of files]
s390	8.4~beta+dfsg-4	317.5 kB	1,432.0 kB	[list of files]
s390x	8.4~beta+dfsg-4	318.4 kB	1,432.0 kB	[list of files]
sh4 (unofficial port)	8.4~beta+dfsg-3	318.3 kB	1,432.0 kB	[list of files]
sparc	8.4~beta+dfsg-4	903.4 kB	2,444.0 kB	[list of files]