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

 Name                                      Last modified      Size  Description
 Parent Directory                                               -   
 README                                    2019-06-19 18:15  422   
 prftree.sty                               2019-06-19 17:57   60K  
 prftreedoc.pdf                            2019-06-19 18:13  338K  
 prftreedoc.tex                            2019-06-19 18:13   92K  

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.