blob: 5c6a8ef263c64f87fb0116ae0387ddfac27c2fbe (
plain)
1
2
3
4
5
6
7
8
9
|
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.
|