Установка:
Для установки alt-ergo в Ubuntu / Linux Mint / Debian, введите в Терминал:
Подробная информация о пакете:
Автоматическая проверка теоремы, посвященная проверке программы
-
Зависимости:
-
Библиотека GNU C: общие библиотеки
-
Библиотека GDK Pixbuf
-
Библиотека GLib подпрограмм C
-
Многоточечная арифметическая библиотека
-
Библиотека графического интерфейса пользователя GTK+
-
Общие библиотеки для виджета подсветки синтаксиса GTK+
-
Макет и предоставление интернационализированного текста
-
Библиотека сжатия - время выполнения