นี่คือคำสั่ง acl2 ที่สามารถเรียกใช้ในผู้ให้บริการโฮสต์ฟรีของ OnWorks โดยใช้เวิร์กสเตชันออนไลน์ฟรีของเรา เช่น Ubuntu Online, Fedora Online, โปรแกรมจำลองออนไลน์ของ Windows หรือโปรแกรมจำลองออนไลน์ของ MAC OS
โครงการ:
ชื่อ
acl2 - ลอจิกการคำนวณ
เรื่องย่อ
acl2
DESCRIPTION
หน้าคู่มือนี้จัดทำเอกสารโดยสังเขปเกี่ยวกับ acl2 สั่งการ. หน้าคู่มือนี้เขียนขึ้นสำหรับ
การกระจาย Debian GNU/Linux เนื่องจากโปรแกรมดั้งเดิมไม่มีหน้าคู่มือ
แต่มีเอกสารในรูปแบบ GNU Info เช่นเดียวกับในรูปแบบ html เหล่านี้คือ
รวมอยู่ในแพ็คเกจ acl2-doc เอกสารประกอบยังสามารถพบได้ที่ . ของโครงการ
เว็บไซต์, http://www.cs.utexas.edu/users/moore/acl2ทั้งในแบบ html และ postscript
ใช้ acl2 ออนไลน์โดยใช้บริการ onworks.net