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

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

Установка:

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

sudo apt update
sudo apt install coq-doc-html

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

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

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

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

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

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

  • Нет зависимостей.