The TeX Catalogue Online

natded

Typeset natural deduction proofs

The author is Mohammad M. Ajallooeian. The package is Copyright © 2014 Mohammad M. Ajallooeian.

License: lppl1.3 Version: 0.1 Catalogued: 2016-06-24