Menu
CTAN
Comprehensive TeX Archive Network
Cover Upload Browse Search

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

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

Guest Book Sitemap Contact