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