Package: coqide (8.3.pl4+dfsg-2)

[ Source: coq  ]

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.3.pl4+dfsg-2)

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

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

  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) [not armhf, ia64, mips, mipsel, s390, s390x]

  2D vektorová grafická knihovna Cairo

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

  virtual package provided by libcoq-ocaml

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

  virtual package provided by libcoq-ocaml

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

  virtual package provided by libcoq-ocaml

• dep: libcoq-ocaml-xglt2 [armel]

  virtual package provided by libcoq-ocaml

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

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

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

  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) [not armhf, ia64, mips, mipsel, s390, s390x]

  GDK Pixbuf library

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

  GLib library of C routines

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

  GTK+ graphical user interface library

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

  virtual package provided by liblablgtk2-ocaml

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

  virtual package provided by liblablgtk2-ocaml

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

  virtual package provided by liblablgtk2-ocaml

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

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

• dep: ocaml-base-nox-3.12.1

  virtual package provided by ocaml-base-nox

Download coqide

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	5,491.1 kB	18,520.0 kB	[list of files]
armel	5,999.7 kB	18,528.0 kB	[list of files]
armhf	2,481.0 kB	9,418.0 kB	[list of files]
i386	5,112.5 kB	15,972.0 kB	[list of files]
ia64	2,477.6 kB	9,418.0 kB	[list of files]
kfreebsd-amd64	5,490.6 kB	18,467.0 kB	[list of files]
kfreebsd-i386	5,109.5 kB	15,919.0 kB	[list of files]
mips	2,477.7 kB	9,418.0 kB	[list of files]
mipsel	2,477.7 kB	9,418.0 kB	[list of files]
powerpc	5,509.1 kB	16,571.0 kB	[list of files]
s390	2,479.2 kB	9,418.0 kB	[list of files]
s390x	2,481.0 kB	9,418.0 kB	[list of files]
sparc	5,366.4 kB	16,486.0 kB	[list of files]