Установка:
Для установки prooftree в Ubuntu / Linux Mint / Debian, введите в Терминал:
sudo apt update
sudo apt install prooftree
Подробная информация о пакете:
Визуализация дерева доказательств для доказательства
-
Зависимости:
-
Доказательство для логики более высокого порядка (toplevel и компилятор)
-
Библиотека GNU C: общие библиотеки
-
Библиотека GDK Pixbuf
-
Библиотека GLib подпрограмм C
-
Библиотека графического интерфейса пользователя GTK+
-
Макет и предоставление интернационализированного текста
-
Общий интерфейс для помощников-доказателей