prooftrees0.1.0
[Deprecated in favour of `curryst`; this package is no longer maintained.] Proof trees for natural deduction and type theories
