---
name: "acl2"
section: "1"
platform: "linux"
package: "acl2"
version: "8.6+dfsg-2"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/acl2"
---

# acl2(1)

A Computational Logic

## NAME

acl2 - A Computational Logic

## SYNOPSIS

**acl2**

## DESCRIPTION

This manual page documents briefly the **acl2** command. This manual page was written for the Debian GNU/Linux distribution because the original program does not have a manual page.  Instead, it has documentation in the GNU Info format as well as in html format. These are included in the acl2-doc package.  The documentation can also be found at the project's website, http://www.cs.utexas.edu/users/moore/acl2, both in html form and in postscript.

## AUTHOR

This manual page was written by Camm Maguire, \<camm@enhanced.com\>, for the Debian GNU/Linux system (but may be used by others).