prooftree

proof-tree visualization for Proof General

Install

All systems
curl cmd.cat/prooftree.sh
Debian Debian
apt-get install prooftree
Ubuntu
apt-get install prooftree
Fedora
dnf install prooftree
Windows (WSL2)
sudo apt-get update sudo apt-get install prooftree
Raspbian
apt-get install prooftree

prooftree

proof-tree visualization for Proof General

Prooftree draws proof trees during interactive proof development with Proof General. One can inspect goals and proof commands and check where existential variables were introduced and instantiated. Currently, Prooftree does only work for Coq.