name ebproof
category Package
revision 36595
shortdesc Formal proofs in the style of sequent calculus.
relocated 1
longdesc This package provides commands to typeset proof trees in the
longdesc style of sequent calculus and related systems. The commands
longdesc allow for writing inferences with any number of premises and
longdesc alignment of successive formulas on an arbitrary point. Various
longdesc options allow complete control over spacing, styles of
longdesc inference rules, placement of labels, etc. The package requires
longdesc pgfkeys (from the PGF/TikZ bundle) for the option system.
runfiles size=4
 RELOC/tex/latex/ebproof/ebproof.sty
catalogue-ctan /macros/latex/contrib/ebproof
catalogue-date 2015-03-22 12:33:09 +0100
catalogue-license lppl1.3
catalogue-version 1.1