summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/ebproof/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/ebproof/README.md')
-rw-r--r--macros/latex/contrib/ebproof/README.md42
1 files changed, 42 insertions, 0 deletions
diff --git a/macros/latex/contrib/ebproof/README.md b/macros/latex/contrib/ebproof/README.md
new file mode 100644
index 0000000000..0f8b35038c
--- /dev/null
+++ b/macros/latex/contrib/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`.