Menu
CTAN
Comprehensive TeX Archive Network
Cover Upload Browse Search

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

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

Files

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
extended_doc.pdf 189072 2014-01-16 04:02
extended_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
Ver­sion0.1
Li­censeThe LaTeX Project Public Li­cense 1.3
Copy­right2014 Mo­ham­mad M. Ajal­looeian
Main­tainerMo­ham­mad M. Ajal­looeian
Con­tained inTeXlive as natded
MikTeX as natded
Topics type­set proofs and proof di­a­grams
Guest Book Sitemap Contact