Index of /archives/text/CTAN/macros/latex/contrib/prftree

Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] prftreedoc.pdf 2019-06-19 18:13 338K [   ] prftreedoc.tex 2019-06-19 18:13 92K [TXT] prftree.sty 2019-06-19 17:57 60K [TXT] README 2019-06-19 18:15 422
The prftree package provides a package to write proof trees for
natural deduction calculi, sequent-like calculi, and similar.

The package is composed by the filed
- prftree.sty: containing the LaTeX engine to typeset proof trees;
- prftreedoc.pdf: the human readable documentation for the package;
- prftreedoc.tex: the source code for the documentation.

The package is distributed under the GNU General Public License.