The TeX Catalogue Online

lplfitch

Fitch-style natural deduction proofs

The author is Richard Zach. The package is Copyright © 2013 John Etchemendy, Dave Barker-Plummer, and Richard Zach.

License: lppl1.3 Version: 0.9 Catalogued: 2017-04-18