dockerfile.run – prooftree

prooftree

proof-tree visualization for Proof General

Debian

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

Ubuntu

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

Fedora

RUN dnf install -y prooftree

Raspbian

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

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