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.