CTAN Comprehensive TeX Archive Network

Direc­tory macros/latex/contrib/prftree

README
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 (295.8k).

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.

Pack­ageprftree
Ver­sion1.5 2016-09-03
Li­censesGNU Gen­eral Public Li­cense
Main­tainerMarco Benini
Con­tained inTeX Live as prftree
MiKTeX as prftree
TopicsMaths
Tree
Proof
See alsoproofs
...
Guest Book Sitemap Contact Contact Author