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

Last metadata expiration check: 4:15:34 ago on Thu Mar 7 17:44:52 2024.
Available Packages
Name : prooftree
Version : 0.13
Release : 26.fc39
Architecture : x86_64
Size : 1.6 M
Source : prooftree-0.13-26.fc39.src.rpm
Repository : fedora
Summary : Proof tree visualization for Proof General
URL : https://askra.de/software/prooftree/
License : GPL-3.0-or-later
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.