texlive-natded - Typeset natural deduction proofs
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | LPPL 1.3 |
- Description:
The package provides commands to typeset proofs in the style used by Jaskowski, or that of Kalish and Montague. date: 2014-01-16 17:47:37 +0100
Packages
| texlive-natded-svn32693.0.1-1.1.el7.fc21.noarch [20 KiB] |
Changelog
by Jindrich Novy (2014-08-09):
- rebuild because of NVR conflict |