dockerfile.run

miz3

HOL Light theorem prover

Debian

RUN apt-get update && \
    apt-get install -y hol-light

Ubuntu

RUN apt-get update && \
    apt-get install -y hol-light

Raspbian

RUN apt-get update && \
    apt-get install -y hol-light

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