How To Install texlive-ebproof on Fedora 36

In this tutorial we learn how to install texlive-ebproof in Fedora 36. texlive-ebproof is Formal proofs in the style of sequent calculus

Introduction

In this tutorial we learn how to install texlive-ebproof on Fedora 36.

What is texlive-ebproof

This package provides commands to typeset proof trees in the style of sequent calculus and related systems. The commands allow for writing inferences with any number of premises and alignment of successive formulas on an arbitrary point. Various options allow complete control over spacing, styles of inference rules, placement of labels, etc. The package requires expl3 and xparse.

We can use yum or dnf to install texlive-ebproof on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install texlive-ebproof.

Install texlive-ebproof 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-ebproof using dnf by running the following command:

sudo dnf -y install texlive-ebproof

Install texlive-ebproof 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-ebproof using yum by running the following command:

sudo yum -y install texlive-ebproof

How To Uninstall texlive-ebproof on Fedora 36

To uninstall only the texlive-ebproof package we can use the following command:

sudo dnf remove texlive-ebproof

texlive-ebproof Package Contents on Fedora 36

/usr/share/licenses/texlive-ebproof
/usr/share/licenses/texlive-ebproof/lppl1.3.txt
/usr/share/texlive/texmf-dist/tex/latex/ebproof
/usr/share/texlive/texmf-dist/tex/latex/ebproof/ebproof.sty

References

Summary

In this tutorial we learn how to install texlive-ebproof on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).