Це команда 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