Comprehensive TeX Archive Network

Direc­tory 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

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