Это команда minlog, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
minlog - запускает Emacs и запускает в нем Minlog.
СИНТАКСИС
минлог файлов
ОПИСАНИЕ
Эта страница руководства документирует минлог программа. Эта страница руководства была написана для
Дистрибутив Debian GNU / Linux, потому что исходная программа не имеет страницы руководства.
Ассоциация минлог запускает Emacs (по умолчанию установите $ EMACS, чтобы переключиться на вашу версию Emacs
choice), загружает режим minlog и открывает стандартные буферы Minlog.
ДОПОЛНИТЕЛЬНЫЕ УСЛУГИ, НЕ ВКЛЮЧЕННЫЕ В ПАКЕТ
файлов Один или несколько файлов схемы для программы доказательства теорем Minlog. Обычно эти файлы заканчиваются
.скм
Используйте minlog в Интернете с помощью сервисов onworks.net