diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/ebproof/README.md')
-rw-r--r-- | Master/texmf-dist/doc/latex/ebproof/README.md | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/ebproof/README.md b/Master/texmf-dist/doc/latex/ebproof/README.md new file mode 100644 index 00000000000..0f8b35038cf --- /dev/null +++ b/Master/texmf-dist/doc/latex/ebproof/README.md @@ -0,0 +1,42 @@ +The ebproof package +=================== + +A LaTeX package to typeset formal proofs in the style of sequent calculus. + +Presentation +------------ + +The `ebproof` 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 `expl3` (the LaTeX3 programming environment) which +provides many useful programming tools. + + +License +------- + +Copyright 2015 Emmanuel Beffara <manu@beffara.org> + +This work may be distributed and/or modified under the +conditions of the LaTeX Project Public License, either version 1.3 +of this license or (at your option) any later version. +The latest version of this license is in + <http://www.latex-project.org/lppl.txt> +and version 1.3 or later is part of all distributions of LaTeX +version 2005/12/01 or later. + +This work has the LPPL maintenance status “maintained”. + +The Current Maintainer of this work is Emmanuel Beffara. + +This work consists of the files `ebproof.sty` and `ebproof.tex`. |