New on CTAN: prftree
Date: December 2, 2014 4:00:42 PM CET
Marco Benini submitted the
prftree
package.
Version number: 2014/11/30
License type: gpl
Summary description: A new package to typeset proofs in natural
deduction and similar
Announcement text:
A new package to typeset proofs in natural deduction and similar
This package is located at http://mirror.ctan.org/macros/latex/contrib/prftree/ More information is at http://www.ctan.org/pkg/prftree We are supported by the TeX Users Group http://www.tug.org . Please join a users group; see http://www.tug.org/usergroups.html .
Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese
A new package to typeset proofs in natural deduction and similar
This package is located at http://mirror.ctan.org/macros/latex/contrib/prftree/ More information is at http://www.ctan.org/pkg/prftree We are supported by the TeX Users Group http://www.tug.org . Please join a users group; see http://www.tug.org/usergroups.html .
Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese
prftree – Macros for building proof trees
A package to typeset proof trees for natural deduction calculi, sequent-like calculi, and similar.
| Package | prftree |
| Version | 1.6 2019-06-19 |
| Maintainer | Marco Benini |