How To Install texlive-logicproof on Fedora 36
Introduction
In this tutorial we learn how to install texlive-logicproof on Fedora 36.
What is texlive-logicproof
A common style of proof used in propositional and predicate logic is Fitch proofs, in which each line of the proof has a statement and a justification, and subproofs within a larger proof have boxes around them. The package provides environments for typesetting such proofs and boxes. It creates proofs in a style similar to that used in “Logic in Computer Science” by Huth and Ryan.
We can use yum or dnf to install texlive-logicproof on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install texlive-logicproof.
Install texlive-logicproof 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-logicproof using dnf by running the following command:
sudo dnf -y install texlive-logicproof
Install texlive-logicproof 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-logicproof using yum by running the following command:
sudo yum -y install texlive-logicproof
How To Uninstall texlive-logicproof on Fedora 36
To uninstall only the texlive-logicproof package we can use the following command:
sudo dnf remove texlive-logicproof
texlive-logicproof Package Contents on Fedora 36
/usr/share/licenses/texlive-logicproof
/usr/share/licenses/texlive-logicproof/lppl1.3.txt
/usr/share/texlive/texmf-dist/tex/latex/logicproof
/usr/share/texlive/texmf-dist/tex/latex/logicproof/logicproof.sty
References
Summary
In this tutorial we learn how to install texlive-logicproof on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).