CTAN
Comprehensive TeX Archive Network

Direc­tory macros/latex/contrib/natded

README.md

natded

A 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­agenatded
Ver­sion0.1
Li­censeThe 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