natded
Typeset natural deduction proofs.
- Version:
- 0.1
- Copyright:
- Mohammad M. Ajallooeian
- License:
- lppl1.3
- Packaged on:
- 01/24/2014 21:00:01
- Number of files:
- 6
- Size on disk:
- 348.33 kB
The package provides commands to typeset proofs in the style used by Jaśkowski, or that of Kalish and Montague.