prftree
A package to typeset proof trees for natural deduction calculi, sequent-like calculi, and similar.
Ecosystem
ctan.org
ctan.org
Latest Release
over 6 years ago
1.6
over 6 years ago
Versions
1
1
Loading...
Readme
Loading...
Links
| Registry | ctan.org |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:ctan/prftree
spec |
| License | GPL-2.0-or-later |
| First Release | over 6 years ago |
| Last Synced | 3 days ago |