prftree – Macros for building proof trees
A package to typeset proof trees for natural deduction calculi, sequent-like calculi, and similar.
| Sources | /macros/latex/contrib/prftree |
| Documentation | |
| Version | 1.6 2019-06-19 |
| Licenses | GNU General Public License |
| Maintainer | Marco Benini |
| Contained in | TeX Live as prftree MiKTeX as prftree |
| Topics | Proof Tree Maths |
| See also | proofs |
Download the contents of this package in one zip archive (366.7k).
Announcements
Suggestions
Maybe you are interested in the following packages as well.
Community Comments