CTAN 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
Doc­u­men­ta­tion
Ver­sion0.1
Li­censesThe Project Public Li­cense 1.3
Copy­right2014 Mo­ham­mad M. Ajal­looeian
Main­tainerMo­ham­mad M. Ajal­looeian
Con­tained inTeX Live as natded
MiKTeX as natded
TopicsProof

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

Com­mu­nity Com­ments

Load­ing...
Guest Book Sitemap Contact Contact Author