texlive-natded
Typeset natural deduction proofs

The package provides commands to typeset proofs in the style used by Jaskowski, or that of Kalish and Montague.

LPPL-1.0

To download packages, you need to log in and have a valid subscription.

Please select a product to see the available package versions:

Loading package downloads...