Typeset natural deduction proofs.
The package provides commands to typeset proofs in the style used by Jaśkowski, or that of Kalish and Montague.
The author is Mohammad M. Ajallooeian. The package is Copyright © 2014 Mohammad M. Ajallooeian.
License: lppl1.3 Version: 0.1 Catalogued: 2014-02-26
Visit
Visit Dante:/macros/latex/contrib/natded
Download
Documentation
Package documentation: natded.pdf.
Distributions
This package is included in MikTeX.