Fedora Packages

texlive-bussproofs Subpackage of texlive

Proof trees in the style of the sequent calculus

The package allows the construction of proof trees in the style of the sequent calculus and many other proof systems. One novel feature of the macros is they support the horizontal alignment according to some centre point specified with the command \fCenter. This is the style often used in sequent calculus proofs. The package works in a Plain TeX document, as well as in LaTeX; an exposition of the commands available is given in the package file itself.

Releases Overview

Release Stable Testing
Fedora Rawhide svn54080-48.fc36 -
Fedora 35 svn54080-45.fc35 -
Fedora 34 svn54080-38.fc34 -
Package Info
Related Packages

You can contact the maintainers of this package via email at texlive dash maintainers at fedoraproject dot org.



Sources on Pagure