CTAN Comprehensive TeX Archive Network

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
Version1.6 2019-06-19
LicensesGNU General Public License
MaintainerMarco Benini
Contained inTeX Live as prftree
MiKTeX as prftree
TopicsTree
Proof
Maths
See alsoproofs

Download the contents of this package in one zip archive (366.7k).

Community Comments

Loading...

Announcements

Here you can see a respective diagram in newer browsers.

more

Guest Book Sitemap Contact Contact Author