все параметры
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Источник: coq  ]

Пакет: coq (8.19.1+dfsg-3 и другие)

Ссылки для coq

Screenshot

Ресурсы Debian:

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

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

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

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

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

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

Пакет предоставляет coqtop, интерфейс командной строки для Coq.

Графический интерфейс Coq предоставляется пакетом coqide. Coq также может использоваться с ProofGeneral, который позволяет редактировать доказательства в emacs и xemacs. Последнее требует установки пакета proofgeneral.

Теги: Разработка программного обеспечения: Компилятор, Область: Математика, Реализовано на: implemented-in::ocaml, interface::commandline, Пользовательский интерфейс: Интерактивный, на основе вводимого текста, Роль: role::program, scope::utility, Инструментарий интерфейса: Ncurses TUI

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

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка coq

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
ppc64el 8.19.1+dfsg-3+b3 85 235,5 Кб344 109,0 Кб [список файлов]