How To Install texlive-prooftrees on Fedora 36
Introduction
In this tutorial we learn how to install texlive-prooftrees
on Fedora 36.
What is texlive-prooftrees
The package supports drawing proof trees of the kind often used in introductory logic classes, especially those aimed at students without strong mathemtical backgrounds. Hodges (1991) is one example of a text which uses this system. When teaching such a system it is especially useful to annotate the tree with line numbers, justifications and explanations of branch closures. prooftrees provides a single environment, prooftree, and a variety of tools for annotating, customising and highlighting such trees. A cross-referencing system is provided for trees which cite line numbers in justifications for proof lines or branch closures. prooftrees is based on forest and, hence, TikZ. The package requires version 2.0.2 of Forest for expected results and will not work with version 1.
We can use yum
or dnf
to install texlive-prooftrees
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install texlive-prooftrees.
Install texlive-prooftrees on Fedora 36 Using dnf
Update yum database with dnf
using the following command.
sudo dnf makecache --refresh
After updating yum database, We can install texlive-prooftrees
using dnf
by running the following command:
sudo dnf -y install texlive-prooftrees
Install texlive-prooftrees on Fedora 36 Using yum
Update yum database with yum
using the following command.
sudo yum makecache --refresh
After updating yum database, We can install texlive-prooftrees
using yum
by running the following command:
sudo yum -y install texlive-prooftrees
How To Uninstall texlive-prooftrees on Fedora 36
To uninstall only the texlive-prooftrees
package we can use the following command:
sudo dnf remove texlive-prooftrees
texlive-prooftrees Package Contents on Fedora 36
/usr/share/licenses/texlive-prooftrees
/usr/share/licenses/texlive-prooftrees/lppl1.3.txt
/usr/share/texlive/texmf-dist/tex/latex/prooftrees
/usr/share/texlive/texmf-dist/tex/latex/prooftrees/prooftrees.sty
References
Summary
In this tutorial we learn how to install texlive-prooftrees
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).