Пакет: coqide (8.20.0+dfsg-1 и другие)

[ Источник: coq  ]

интерактивное программное средство доказательства теорем логики высшего порядка (интерфейс GTK)

Coq — интерактивное программное средство доказательства теорем логики высшего порядка, которое позволяет разрабатывать компьютерные программы в соответствии с их формальной спецификацией. Оно создано с использованием Objective Caml и Camlp5.

Пакет предоставляет CoqIde, графический пользовательских интерфейс для разработки доказательств.

Теги: Разработка программного обеспечения: IDE, Область: Математика, Реализовано на: implemented-in::ocaml, interface::graphical, Пользовательский интерфейс: X Window System, Роль: role::program, scope::application, Инструментарий интерфейса: GTK, Ncurses TUI, Цель: use::checking, x11::application

Другие пакеты, относящиеся к coqide

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

  интерактивное программное средство доказательства теорем для логики высшего порядка (интерактивная среда и компилятор)

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

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

  dep: coq (>= 8.0) [m68k]

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

  инструментарий специальных возможностей ATK

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

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

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

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

  библиотека для двухмерной векторной графики Cairo

  dep: libcairo2 (>= 1.2.4) [m68k]

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

  общая библиотека настроек шрифтов (динамическая версия)

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

  движок отрисовки шрифтов FreeType 2 (динамически загружаемые библиотеки)

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

  библиотека GDK Pixbuf

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

  библиотека GLib C процедур — переходный пакет

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

  библиотека С-функций

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

  библиотека графического пользовательского интерфейса GTK

• 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, ppc64, ppc64el, riscv64, s390x]

  графический элемент GTK+ с подсветкой синтаксиса — библиотека

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

  Пакет недоступен

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

  библиотека компоновки и отрисовки текста на разных языках

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

  Layout and rendering of internationalized text (transitional package)

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

  инфраструктура для сборки и установки TeX

Загрузка coqide

Загрузить для всех доступных архитектур

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	8.12.0-3+b3	45,6 Кб	111,0 Кб	[список файлов]
amd64	8.20.0+dfsg-1	1 882,0 Кб	8 795,0 Кб	[список файлов]
arm64	8.20.0+dfsg-1	2 175,7 Кб	10 675,0 Кб	[список файлов]
hppa (неофициальный перенос)	8.12.0-3+b3	45,7 Кб	111,0 Кб	[список файлов]
ia64 (неофициальный перенос)	8.12.0-3+b3	45,6 Кб	111,0 Кб	[список файлов]
m68k (неофициальный перенос)	8.1.pl3+dfsg-1+b2	2 363,1 Кб	8 880,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	8.19.1+dfsg-3	1 977,7 Кб	11 703,0 Кб	[список файлов]
ppc64el	8.20.0+dfsg-1	1 910,1 Кб	9 651,0 Кб	[список файлов]
riscv64	8.20.0+dfsg-1	1 945,5 Кб	9 563,0 Кб	[список файлов]
s390x	8.20.0+dfsg-1	1 931,2 Кб	10 131,0 Кб	[список файлов]
sh4 (неофициальный перенос)	8.12.0-3+b3	45,6 Кб	111,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	8.12.0-3+b3	45,7 Кб	111,0 Кб	[список файлов]
x32 (неофициальный перенос)	8.12.0-3+b3	45,6 Кб	111,0 Кб	[список файлов]