acl2
Computational Logic for Applicative Common Lisp: main binary
RUN apt-get update && \
apt-get install -y acl2
RUN apt-get update && \
apt-get install -y acl2
RUN apt-get update && \
apt-get install -y acl2
RUN apt-get update && \
apt-get install -y acl2