How To Install prooftree on Fedora 34
Introduction
In this tutorial we learn how to install prooftree on Fedora 34.
What is prooftree
Prooftree is a program for proof-tree visualization during interactive proof development in a theorem prover. It is currently being developed for Coq and Proof General. Prooftree helps against getting lost between different subgoals in interactive proof development. It clearly shows where the current subgoal comes from and thus helps in developing the right plan for solving it. Prooftree uses different colors for the already proven subgoals, the current branch in the proof and the still open subgoals. Sequent texts are not displayed in the proof tree itself, but they are shown as a tool-tip when the mouse rests over a sequent symbol. Long proof commands are abbreviated in the tree display, but show up in full length as tool-tip. Both, sequents and proof commands, can be shown in the display below the tree (on single click) or in a separate window (on double or shift-click). Prooftree can mark the proof command that introduced a certain existential variable and thus help to locate the problem when Coq says No more subgoals but non-instantiated existential variables.
We can use yum or dnf to install prooftree on Fedora 34. In this tutorial we discuss both methods but you only need to choose one of method to install prooftree.
Install prooftree on Fedora 34 Using dnf
Update yum database with dnf using the following command.
sudo dnf makecache --refresh
The output should look something like this:
Fedora 34 - x86_64 20 kB/s | 6.6 kB 00:00
Fedora 34 openh264 (From Cisco) - x86_64 1.4 kB/s | 989 B 00:00
Fedora Modular 34 - x86_64 68 kB/s | 6.5 kB 00:00
Fedora 34 - x86_64 - Updates 3.5 kB/s | 6.2 kB 00:01
Fedora Modular 34 - x86_64 - Updates 17 kB/s | 5.9 kB 00:00
Metadata cache created.
After updating yum database, We can install prooftree using dnf by running the following command:
sudo dnf -y install prooftree
Install prooftree on Fedora 34 Using yum
Update yum database with yum using the following command.
sudo yum makecache --refresh
The output should look something like this:
Fedora 34 - x86_64 20 kB/s | 6.6 kB 00:00
Fedora 34 openh264 (From Cisco) - x86_64 1.4 kB/s | 989 B 00:00
Fedora Modular 34 - x86_64 68 kB/s | 6.5 kB 00:00
Fedora 34 - x86_64 - Updates 3.5 kB/s | 6.2 kB 00:01
Fedora Modular 34 - x86_64 - Updates 17 kB/s | 5.9 kB 00:00
Metadata cache created.
After updating yum database, We can install prooftree using yum by running the following command:
sudo yum -y install prooftree
How To Uninstall prooftree on Fedora 34
To uninstall only the prooftree package we can use the following command:
sudo dnf remove prooftree
prooftree Package Contents on Fedora 34
/usr/bin/prooftree
/usr/lib/.build-id
/usr/lib/.build-id/1e
/usr/lib/.build-id/1e/822ed057a36b700cc1c7279a6407f3b917789d
/usr/share/doc/prooftree
/usr/share/doc/prooftree/ChangeLog
/usr/share/doc/prooftree/README
/usr/share/licenses/prooftree
/usr/share/licenses/prooftree/COPYING
/usr/share/man/man1/prooftree.1.gz
References
Summary
In this tutorial we learn how to install prooftree on Fedora 34 using yum and dnf.