CTAN Comprehensive TeX Archive Network

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.

Sources/macros/latex/contrib/natded
Documentation
Version0.1
LicensesThe Project Public License 1.3
Copyright2014 Mohammad M. Ajallooeian
MaintainerMohammad M. Ajallooeian
Contained inTeX Live as natded
MiKTeX as natded
TopicsProof

Download the contents of this package in one zip archive (333.9k).

Community Comments

Loading...
Guest Book Sitemap Contact Contact Author