Package: coqide (8.19.1+dfsg-3) [debports]

[ Source:  ]

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ů.

Other Packages Related to coqide

• dep: coq (= 8.19.1+dfsg-3)

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

• dep: libc6 (>= 2.38)

  Knihovna GNU C: Sdílené knihovny
  also a virtual package provided by libc6-udeb

• dep: libcairo2 (>= 1.12.0)

  Cairo 2D vector graphics library

• dep: libfontconfig1 (>= 2.12.6)

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

• dep: libfreetype6 (>= 2.2.1)

  FreeType 2 font engine, shared library files

• dep: libgdk-pixbuf-2.0-0 (>= 2.22.0)

  GDK Pixbuf library

• dep: libglib2.0-0t64 (>= 2.36.0)

  GLib library of C routines

• dep: libgtk-3-0t64 (>= 3.11.5)

  GTK graphical user interface library

• dep: libgtksourceview-3.0-1 (>= 2.91.4)

  shared libraries for the GTK+ syntax highlighting widget

• dep: libpango-1.0-0 (>= 1.14.0)

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

Download coqide

Download for all available architectures

Architecture	Package Size	Installed Size	Files
ppc64 (unofficial port)	1,977.7 kB	11,703.0 kB	[list of files]