How To Install texlive-ebproof on Fedora 36
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/).