Comprehensive TeX Archive Network

natded – Typeset natural deduction proofs

The pack­age pro­vides com­mands to type­set proofs in the style used by Jaśkowski, or that of Kal­ish and Mon­tague.

Sources /macros/latex/contrib/natded
Ver­sion 0.1
Li­cense The Project Public Li­cense 1.3
Copy­right 2014 Mo­ham­mad M. Ajal­looeian
Main­tainer Mo­ham­mad M. Ajal­looeian
Con­tained in TeX Live as natded
MiKTeX as natded
Topics type­set proofs and proof di­a­grams

Down­load the con­tents of this pack­age in one zip archive (333.9k).

Com­mu­nity Com­ments

Guest Book Sitemap Contact Contact Author