summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/ebproof/README
blob: a64bac6f41fd3cd5623e8d27dfc8ae04c4322e69 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
The ebproofs 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 premisses 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 distribution includes the following files:

 - ebproof.sty : the package
 - ebproof.pdf : the documentation
 - ebproof.tex : the LaTeX source for the documentation

The package requires pgfkeys (from TikZ/PGF) for the option system.

This package is written by Emmanuel Beffara <manu@beffara.org>
It is subject to the LaTeX Project Public License.