这是命令 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 形式还是在 postscript 中。
使用 onworks.net 服务在线使用 acl2
