Index of /macros/latex2e/contrib/natded
      Name                    Last modified       Size  Description

[DIR] Parent Directory 13-Dec-2019 21:15 - [   ] extended_doc.pdf 16-Jan-2014 14:02 185k [TXT] extended_doc.tex 16-Jan-2014 13:58 18k [   ] natded.pdf 16-Jan-2014 13:57 141k [TXT] natded.sty 16-Jan-2014 13:50 15k [TXT] natded.tex 16-Jan-2014 13:57 10k

natded
======

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

Package version: 0.1