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.