CTAN Comprehensive TeX Archive Network

Directory macros/latex/contrib/natded

README.md

natded

A package for natural deduction proofs in styles used by Jaśkowski and Kalish and Montague.

Package version: 0.1

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

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.

Packagenatded
Version0.1
LicensesThe Project Public License 1.3
Copyright2014 Mohammad M. Ajallooeian
MaintainerMohammad M. Ajallooeian
Contained inTeX Live as natded
MiKTeX as natded
TopicsProof
...
Guest Book Sitemap Contact Contact Author