Package: coqide (8.1.pl3+dfsg-1 and others)

[ Source: coq  ]

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

Coq je dokazovací asistent logiky vyššího řádu, který umožňuje vývoj počítačových programů konzistentních s jejich formálními specifikacemi. Je vyvíjen pomocí objektového Caml a Camlp4. Pro více informací se podívejte na <http://coq.inria.fr/>.

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: X Window System, Role: Program, Scope: Application, Interface Toolkit: GTK, Ncurses TUI, Purpose: Checking, X Window System: Application

Other Packages Related to coqide

• dep: coq (>= 8.0)

  Dokazovací nástroj vyšší logiky (nejvyšší úroveň a kompilátor)

• dep: libatk1.0-0 (>= 1.20.0)

  Sada nástrojů pro přístupnost ATK

• dep: libc6 (>= 2.7-1) [not alpha, ia64]

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libc6.1 (>= 2.7-1) [alpha, ia64]

  GNU C Library: Shared libraries
  also a virtual package provided by libc6.1-udeb

• dep: libcairo2 (>= 1.2.4)

  2D vektorová grafická knihovna Cairo

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

  Knihovna pro překladač GCC

• dep: libglib2.0-0 (>= 2.12.0)

  Knihovna GLib s C rutinami

• dep: libgtk2.0-0 (>= 2.12.0)

  Knihovna grafického uživatelského rozhraní GTK+

• dep: libncurses5 (>= 5.6+20071006-3)

  Sdílené knihovny pro obsluhu terminálu

• dep: libpango1.0-0 (>= 1.20.2)

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

• dep: tex-common (>= 1.10)

  common infrastructure for building and installing TeX

Download coqide

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha	8.1.pl3+dfsg-1+b2	2,410.6 kB	9,212.0 kB	[list of files]
amd64	8.1.pl3+dfsg-1+b2	5,108.7 kB	17,772.0 kB	[list of files]
arm	8.1.pl3+dfsg-1+b2	2,354.6 kB	8,900.0 kB	[list of files]
armel	8.1.pl3+dfsg-1+b2	2,359.7 kB	8,928.0 kB	[list of files]
hppa	8.1.pl3+dfsg-1+b2	2,389.2 kB	9,036.0 kB	[list of files]
i386	8.1.pl3+dfsg-1+b2	4,811.6 kB	15,712.0 kB	[list of files]
ia64	8.1.pl3+dfsg-1+b2	2,440.8 kB	9,564.0 kB	[list of files]
mips	8.1.pl3+dfsg-1+b2	2,379.9 kB	9,124.0 kB	[list of files]
mipsel	8.1.pl3+dfsg-1+b2	2,369.1 kB	9,124.0 kB	[list of files]
powerpc	8.1.pl3+dfsg-1+b2	5,374.0 kB	16,676.0 kB	[list of files]
s390	8.1.pl3+dfsg-1+b2	2,440.3 kB	9,112.0 kB	[list of files]
sparc	8.1.pl3+dfsg-1+b2	5,383.5 kB	16,740.0 kB	[list of files]