Пакет: coqide (8.12.0-3 и другие)

Ссылки для 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.12.0-3+b3)

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

Загрузка coqide

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
mipsel	8.12.0-3+b3	45,7 Кб	111,0 Кб	[список файлов]