Version:
0.1
Copyright:
Mohammad M. Ajallooeian
License:
lppl1.3
Packaged on:
1/24/2014 9:00:01 PM
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.