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

[ Источник: 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

• dep: coq-doc-html (>= 8.19.1-2)

  documentation for Coq in html format

• dep: coq-doc-pdf (>= 8.19.1-2)

  documentation for Coq in pdf format

• dep: node-mathjax-full

  JavaScript library to display math in browsers

Загрузка coq-doc

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

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