dockerfile.run

mona

theorem prover based on automata

Debian

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

Ubuntu

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

Kali Linux

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

Fedora

RUN dnf install -y mona

Raspbian

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

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