How to Install and Uninstall prooftree.x86_64 Package on Fedora 34

Last metadata expiration check: 3:23:30 ago on Tue Sep 6 08:10:37 2022.
Available Packages
Name : prooftree
Version : 0.13
Release : 13.fc34
Architecture : x86_64
Size : 1.3 M
Source : prooftree-0.13-13.fc34.src.rpm
Repository : fedora
Summary : Proof tree visualization for Proof General
URL : http://askra.de/software/prooftree/
License : GPLv3+
Description : 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.