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

Ссылки для coqide

Ресурсы Debian:

Исходный код coq:

Сопровождающие:

Внешние ресурсы:

Сайт [coq.inria.fr]

Подобные пакеты:

интерактивное программное средство доказательства теорем логики высшего порядка (интерфейс 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

зависимости

рекомендации

предложения

enhances

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

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
arm64	8.16.1+dfsg-1+b2	2 256,6 Кб	11 358,0 Кб	[список файлов]