dockerfile.run

hol88

Higher Order Logic, system image

Debian

RUN apt-get update && \
    apt-get install -y hol88

Ubuntu

RUN apt-get update && \
    apt-get install -y hol88

Kali Linux

RUN apt-get update && \
    apt-get install -y hol88

Raspbian

RUN apt-get update && \
    apt-get install -y hol88

click the source code to copy install hol88 on any operating system with command-not-found.com