» Документация

Как установить coq-doc в Ubuntu / Debian

Установка:

Для установки coq-doc в Ubuntu / Linux Mint / Debian, введите в Терминал:

sudo apt update
sudo apt install coq-doc

Настроить команду APT

coq-doc — документация для Coq

Подробная информация о пакете:

Документация для Coq

http://coq.inria.fr/
, , ,
Источник: packages.ubuntu.com

  • Зависимости:

  • coq-doc-html

    Документация для Coq в формате html

  • coq-doc-pdf

    Документация для Coq в формате pdf