prooftree
proof-tree visualization for Proof General
RUN apt-get update && \
apt-get install -y prooftree
RUN apt-get update && \
apt-get install -y prooftree
RUN dnf install -y prooftree
RUN apt-get update && \
apt-get install -y prooftree