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

Пакет: coq-doc (8.19.1-2) [non-free]

Ссылки для coq-doc

Screenshot

Ресурсы Debian:

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

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

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

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

documentation for Coq

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

This is a dummy package which will install the documentation in html and pdf formats.

Теги: Разработка программного обеспечения: Документация, Использовался при создании: HTML, язык гипертекстовой разметки, Роль: Документация, Метапакет

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

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

Загрузка coq-doc

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
all 5,2 Кб21,0 Кб [список файлов]