Установка: Для установки proofgeneral в Ubuntu / Linux Mint / Debian, введите в Терминал: sudo apt update sudo apt install proofgeneral Настроить APT Настроить команду APT Выберите действие: Установить Переустановить Удалить пакет Удалить пакет со всеми настройками Дополнительные опции: Автоподтверждение действий [-y] Исправить зависимости пакета [-f] Установить только обязательные пакеты [--no-install-recommends] Копировать Сбросить Подробная информация о пакете: Общий интерфейс для помощников-доказателей https://proofgeneral.github.io/ Editing, Emacs, Lisp, Mathematics, Plugin Май 2018 Источник: packages.ubuntu.com Навигация по записям pyraguapyraguaplume-creatorplume-creator Зависимости: emacs25 Редактор GNU Emacs (с поддержкой GTK+ GUI) mmm-mode Несколько основных режимов для Emacs Открыть список
