Установка:

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

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

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

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

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

  • tex-common

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