Version:
1.6
Copyright:
License:
gpl
Packaged on:
6/20/2019 8:11:09 PM
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.