Index of /ctan/macros/latex/contrib/natded/
Name | Last Modified | Size | Type |
../ | | - | Directory |
README | 2014-Jan-16 03:06:16 | 0.1K | text/plain;charset=utf-8 |
README.md | 2014-Jan-16 03:06:16 | 0.1K | text/markdown;charset=utf-8 |
extended_doc.pdf | 2014-Jan-16 03:02:06 | 184.6K | application/pdf |
extended_doc.tex | 2014-Jan-16 02:58:32 | 18.2K | application/x-tex |
natded.pdf | 2014-Jan-16 02:57:43 | 140.5K | application/pdf |
natded.sty | 2014-Jan-16 02:50:58 | 14.8K | application/octet-stream |
natded.tex | 2014-Jan-16 02:57:39 | 9.7K | application/x-tex |
natded
======
A LaTeX package for natural deduction proofs in styles used by Jaśkowski and Kalish and Montague.
Package version: 0.1