Package: coqide (8.20.1+dfsg-1 and others)

[ 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: implemented-in::ocaml, interface::graphical, User Interface: X Window System, Role: role::program, scope::application, Interface Toolkit: GTK, Ncurses TUI, Purpose: use::checking, x11::application

Other Packages Related to coqide

• dep: coq (= 8.12.0-3+b3) [alpha, hppa, ia64, sh4, sparc64, x32]

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

  dep: coq (= 8.19.1+dfsg-3) [loong64, ppc64]

  dep: coq (= 8.20.1+dfsg-1) [amd64, arm64, ppc64el, riscv64, s390x]

  dep: coq (>= 8.0) [m68k]

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

  ATK accessibility toolkit

• dep: libc6 (>= 2.38) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]

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

  dep: libc6 (>= 2.39) [loong64]

  dep: libc6 (>= 2.5-5) [m68k]

• dep: libcairo2 (>= 1.12.0) [amd64, arm64, loong64, ppc64, ppc64el, riscv64, s390x]

  Cairo 2D vector graphics library

  dep: libcairo2 (>= 1.2.4) [m68k]

• dep: libfontconfig1 (>= 2.12.6) [amd64, arm64, loong64, ppc64, ppc64el, riscv64, s390x]

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

• dep: libfreetype6 (>= 2.2.1) [amd64, arm64, loong64, ppc64, ppc64el, riscv64, s390x]

  FreeType 2 font engine, shared library files

• dep: libgdk-pixbuf-2.0-0 (>= 2.22.0) [amd64, arm64, loong64, ppc64, ppc64el, riscv64, s390x]

  GDK Pixbuf library

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

  GLib library of C routines - transitional package

• dep: libglib2.0-0t64 (>= 2.36.0) [amd64, arm64, loong64, ppc64, ppc64el, riscv64, s390x]

  GLib library of C routines

• dep: libgtk-3-0t64 (>= 3.11.5) [amd64, arm64, loong64, ppc64, ppc64el, riscv64, s390x]

  GTK graphical user interface library

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

  GTK graphical user interface library - old version

• dep: libgtksourceview-3.0-1 (>= 2.91.4) [amd64, arm64, loong64, ppc64, ppc64el, riscv64, s390x]

  shared libraries for the GTK+ syntax highlighting widget

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

  Package not available

• dep: libpango-1.0-0 (>= 1.14.0) [amd64, arm64, loong64, ppc64, ppc64el, riscv64, s390x]

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

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

  Layout and rendering of internationalized text (transitional package)

• dep: tex-common (>= 1.10) [m68k]

  common infrastructure for building and installing TeX

Download coqide

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	8.12.0-3+b3	45.6 kB	111.0 kB	[list of files]
amd64	8.20.1+dfsg-1	1,884.7 kB	8,818.0 kB	[list of files]
arm64	8.20.1+dfsg-1	2,196.4 kB	10,614.0 kB	[list of files]
hppa (unofficial port)	8.12.0-3+b3	45.7 kB	111.0 kB	[list of files]
ia64 (unofficial port)	8.12.0-3+b3	45.6 kB	111.0 kB	[list of files]
loong64 (unofficial port)	8.19.1+dfsg-3	2,152.4 kB	11,255.0 kB	[list of files]
m68k (unofficial port)	8.1.pl3+dfsg-1+b2	2,363.1 kB	8,880.0 kB	[list of files]
ppc64 (unofficial port)	8.19.1+dfsg-3	1,977.7 kB	11,703.0 kB	[list of files]
ppc64el	8.20.1+dfsg-1	1,921.7 kB	9,654.0 kB	[list of files]
riscv64	8.20.1+dfsg-1	1,946.8 kB	9,582.0 kB	[list of files]
s390x	8.20.1+dfsg-1	1,928.3 kB	10,166.0 kB	[list of files]
sh4 (unofficial port)	8.12.0-3+b3	45.6 kB	111.0 kB	[list of files]
sparc64 (unofficial port)	8.12.0-3+b3	45.7 kB	111.0 kB	[list of files]
x32 (unofficial port)	8.12.0-3+b3	45.6 kB	111.0 kB	[list of files]