Description
acl2-books provides computational Logic for Applicative Common Lisp: compiled libraries. Packaged for the official Debian archive so users can install and update it via the system package manager., with upstream maintained at https://www.cs.utexas.edu/users/moore/acl2/.