» Математика

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

Установка:

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

sudo apt update
sudo apt install why3-doc-pdf
Dzen
why3-doc-pdf — PDF-документация платформы проверки Why3

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

PDF-документация платформы проверки Why3

http://why3.lri.fr/
Источник: packages.ubuntu.com

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

  • tex-common

    Общая инфраструктура для строительства и установки TeX