Ini adalah perintah acl2 yang dapat dijalankan di penyedia hosting gratis OnWorks menggunakan salah satu dari beberapa workstation online gratis kami seperti Ubuntu Online, Fedora Online, emulator online Windows atau emulator online MAC OS
PROGRAM:
NAMA
acl2 - Logika Komputasi
RINGKASAN
acl2
DESKRIPSI
Halaman manual ini mendokumentasikan secara singkat acl2 memerintah. Halaman manual ini ditulis untuk
Distribusi Debian GNU/Linux karena program aslinya tidak memiliki halaman manual.
Sebaliknya, ia memiliki dokumentasi dalam format Info GNU serta dalam format html. Ini adalah
termasuk dalam paket acl2-doc. Dokumentasi juga dapat ditemukan di proyek
website, http://www.cs.utexas.edu/users/moore/acl2, baik dalam bentuk html maupun dalam postscript.
Gunakan acl2 online menggunakan layanan onworks.net
