README.md « natded « latex « doc « texmf-dist « Master - texlive - Mirror of svn TeX Live plus development branches

index : texlive

Mirror of svn TeX Live plus development branches

norbert@preining.info

summary refs log tree commit diff

path: root/Master/texmf-dist/doc/latex/natded/README.md

blob: bf8801aa1d88eb4fbe124d8e21f6139dc0617c68 (plain)

natded
======

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

Package version: 0.1