dockerfile.run – altgr-ergo

altgr-ergo

Automatic theorem prover dedicated to program verification

Debian

RUN apt-get update && \
    apt-get install -y alt-ergo

Ubuntu

RUN apt-get update && \
    apt-get install -y alt-ergo

Kali Linux

RUN apt-get update && \
    apt-get install -y alt-ergo

Fedora

RUN dnf install -y alt-ergo-gui

Raspbian

RUN apt-get update && \
    apt-get install -y alt-ergo

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