prooftree
proof-tree visualization for Proof General
Install
- All systems
-
curl cmd.cat/prooftree.sh
- Debian
-
apt-get install prooftree - Ubuntu
-
apt-get install prooftree - Fedora
-
dnf install prooftree - Windows (WSL2)
-
sudo apt-get updatesudo apt-get install prooftree - Raspbian
-
apt-get install prooftree - Dockerfile
- dockerfile.run/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.