Ini ialah arahan acl2 yang boleh dijalankan dalam penyedia pengehosan percuma OnWorks menggunakan salah satu daripada berbilang stesen kerja dalam talian percuma kami seperti Ubuntu Online, Fedora Online, emulator dalam talian Windows atau emulator dalam talian MAC OS.
JADUAL:
NAMA
acl2 - Logik Pengiraan
SINOPSIS
acl2
DESCRIPTION
Halaman manual ini mendokumentasikan secara ringkas acl2 perintah. Halaman manual ini ditulis untuk
Pengedaran GNU/Linux Debian kerana program asal tidak mempunyai halaman manual.
Sebaliknya, ia mempunyai dokumentasi dalam format Maklumat GNU dan juga dalam format html. Ini adalah
disertakan dalam pakej acl2-doc. Dokumentasi juga boleh didapati di projek
laman web, http://www.cs.utexas.edu/users/moore/acl2, dalam bentuk html dan dalam postscript.
Gunakan acl2 dalam talian menggunakan perkhidmatan onworks.net