prftree
Macros for building proof trees
- Version:
- 1.6
- Copyright:
- License:
- gpl
- Packaged on:
- 06/20/2019 20:11:09
- Number of files:
- 5
- Size on disk:
- 417.26 kB
A package to typeset proof trees for natural deduction calculi, sequent-like calculi, and similar.