Это команда acl2, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
acl2 - Вычислительная логика
СИНТАКСИС
acl2
ОПИСАНИЕ
Эта страница руководства кратко документирует acl2 команда. Эта страница руководства была написана для
Дистрибутив Debian GNU / Linux, потому что исходная программа не имеет страницы руководства.
Вместо этого у него есть документация в формате GNU Info, а также в формате html. Эти
входит в пакет acl2-doc. Документацию также можно найти на сайте проекта
сайт http://www.cs.utexas.edu/users/moore/acl2, как в формате html, так и в постскриптуме.
Используйте acl2 онлайн с помощью сервисов onworks.net