Comprehensive TeX Archive Network

Direc­tory tex-archive/macros/latex/contrib/natded



A LaTeX pack­age for nat­u­ral de­duc­tion proofs in styles used by Jaśkowski and Kal­ish and Mon­tague.

Pack­age ver­sion: 0.1


Name Size Date Notes
135 2014-01-16 04:06 ⇒ /macros/la­tex/con­trib/natded/README.md
README.md 135 2014-01-16 04:06
ex­tended_doc.pdf 189072 2014-01-16 04:02
ex­tended_doc.tex 18712 2014-01-16 03:58
natded.pdf 143885 2014-01-16 03:57
natded.sty 15168 2014-01-16 03:50
natded.tex 9994 2014-01-16 03:57

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

natded – Type­set nat­u­ral de­duc­tion 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.

Pack­age De­tailsnatded
Li­censeThe LaTeX Project Public Li­cense 1.3
Main­tainerMo­ham­mad M. Ajal­looeian
Con­tained inTeX Live as natded
MiKTeX as natded
Topics type­set proofs and proof di­a­grams
Guest Book Sitemap Contact Contact Author