dockerfile.run

minlog

Proof assistant based on first order natural deduction calculus

Debian

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

Ubuntu

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

Kali Linux

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

Fedora

RUN dnf install -y minlog

Raspbian

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

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