Установка:
Для установки why3-examples в Ubuntu / Linux Mint / Debian, введите в Терминал:
sudo apt update
sudo apt install why3-examples
Подробная информация о пакете:
Примеры платформы для проверки Why3
-
Зависимости:
-
Общая инфраструктура для строительства и установки TeX