How To Install texlive-prooftrees on Fedora 36

In this tutorial we learn how to install texlive-prooftrees in Fedora 36. texlive-prooftrees is Forest-based proof trees (symbolic logic)

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/).