Index of /ctan/macros/latex/contrib/natded/

NameLast ModifiedSizeType
../ -  Directory
README2014-Jan-16 03:06:160.1Ktext/plain;charset=utf-8
README.md2014-Jan-16 03:06:160.1Ktext/markdown;charset=utf-8
extended_doc.pdf2014-Jan-16 03:02:06184.6Kapplication/pdf
extended_doc.tex2014-Jan-16 02:58:3218.2Kapplication/x-tex
natded.pdf2014-Jan-16 02:57:43140.5Kapplication/pdf
natded.sty2014-Jan-16 02:50:5814.8Kapplication/octet-stream
natded.tex2014-Jan-16 02:57:399.7Kapplication/x-tex
natded
======

A LaTeX package for natural deduction proofs in styles used by Jaśkowski and Kalish and Montague.

Package version: 0.1
panini/0.0.8 us-west-1 b156048a-bcf3-4b4f-96ed-31e873bb3711