Установка:

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

sudo apt update
sudo apt install why3-examples
why3-examples — Примеры платформы для проверки Why3

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

Примеры платформы для проверки Why3

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

  • tex-common

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