Bu, Ubuntu Online, Fedora Online, Windows çevrimiçi öykünücüsü veya MAC OS çevrimiçi öykünücüsü gibi birden fazla ücretsiz çevrimiçi iş istasyonumuzdan birini kullanarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen acl2 komutudur.
Program:
ADI
acl2 - Bir Hesaplamalı Mantık
SİNOPSİS
acl2
TANIM
Bu kılavuz sayfası kısaca şunları belgelemektedir: acl2 emretmek. Bu kılavuz sayfası aşağıdakiler için yazılmıştır:
Orijinal programın bir kılavuz sayfası olmadığı için Debian GNU/Linux dağıtımı.
Bunun yerine, GNU Bilgi biçiminde ve html biçiminde belgelere sahiptir. Bunlar
acl2-doc paketine dahildir. Belgeler ayrıca projenin adresinde bulunabilir.
web sitesi http://www.cs.utexas.edu/users/moore/acl2, hem html biçiminde hem de postscript'te.
acl2'yi onworks.net hizmetlerini kullanarak çevrimiçi kullanın
