Version:
1.5
Copyright:
License:
gpl
Packaged on:
9/6/2016 8:01:37 PM
Number of files:
5
Size on disk:
332.17 kB

A package to typeset proof trees for natural deduction calculi, sequent-like calculi, and similar.