Description
elpa-acl2 provides computational Logic for Applicative Common Lisp: emacs interface. 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/.