CTAN Comprehensive TeX Archive Network

Direc­tory macros/latex/contrib/prftree

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.

Down­load the con­tents of this pack­age in one zip archive (366.7k).

prftree – Macros for build­ing proof trees

A pack­age to type­set proof trees for nat­u­ral de­duc­tion cal­culi, se­quent-like cal­culi, and sim­i­lar.

Ver­sion1.6 2019-06-19
Li­censesGNU Gen­eral Public Li­cense
Main­tainerMarco Benini
Con­tained inTeX Live as prftree
MiKTeX as prftree
See alsoproofs
Guest Book Sitemap Contact Contact Author