dockerfile.run

miz3e

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 miz3e on any operating system with command-not-found.com