dockerfile.run

miz3f

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