Fedora Packages

texlive-ebproof Subpackage of texlive

Formal proofs in the style of sequent calculus

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.

Releases Overview

Release Stable Testing
Fedora Rawhide svn57544-69.fc39 -
Fedora 38 svn57544-65.fc38 -
Fedora 37 svn57544-60.fc37 -
File a new bug report »
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