natded – 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 LaTeX Project Public License 1.3
|2014 Mohammad M. Ajallooeian
|Mohammad M. Ajallooeian
|TeX Live as natded
MiKTeX as natded
Download the contents of this package in one zip archive (333.9k).
Maybe you are interested in the following packages as well.
- apxproof: Proofs in appendix
- was: A collection of small packages by Walter Schmidt
- texments: Using the Pygments highlighter in LaTeX
- nath: Natural mathematics notation