prooftree

proof-tree visualization for Proof General

Debian 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