acl2

Computational Logic for Applicative Common Lisp: main binary

Debian Debian
RUN apt-get update && \ apt-get install -y acl2
Ubuntu
RUN apt-get update && \ apt-get install -y acl2
image/svg+xml Kali Linux
RUN apt-get update && \ apt-get install -y acl2
Raspbian
RUN apt-get update && \ apt-get install -y acl2
click the source code to copy install acl2 on any operating system with command-not-found.com