Пакет: coqide (8.16.1+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.16.1+dfsg-1+b2)

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

• dep: libc6 (>= 2.35)

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

• dep: libcairo2 (>= 1.12.0)

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

• dep: libfontconfig1 (>= 2.12.6)

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

• dep: libfreetype6 (>= 2.2.1)

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

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

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

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

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

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

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

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

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

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

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

Загрузка coqide

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

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	8.16.1+dfsg-1+b2	1 946,7 Кб	9 846,0 Кб	[список файлов]
arm64	8.16.1+dfsg-1+b2	2 256,6 Кб	11 358,0 Кб	[список файлов]
armhf	8.16.1+dfsg-1+b2	1 791,7 Кб	6 582,0 Кб	[список файлов]
i386	8.16.1+dfsg-1+b2	1 763,9 Кб	7 580,0 Кб	[список файлов]
ppc64el	8.16.1+dfsg-1+b2	2 027,9 Кб	10 654,0 Кб	[список файлов]
s390x	8.16.1+dfsg-1+b2	1 933,5 Кб	10 669,0 Кб	[список файлов]