lplfitch – Fitch-style natural deduction proofs
The package provides macros for typesetting natural deduction proofs in “Fitch” style, with subproofs indented and offset by scope lines.
The proofs from use of the package are in the format used in the textbook Language, Proof, and Logic by Dave Barker-Plummer, Jon Barwise, and John Etchemendy.
The LaTeX Project Public License 1.3
|Copyright||2013 John Etchemendy, Dave Barker-Plummer, and Richard Zach
|Contained in||TeX Live as lplfitch|
|MiKTeX as lplfitch|
support for typesetting mathematics
Download the contents of this package in one zip archive (228.7k).
Maybe you are interested in the following packages as well.
- eqnalign: Make eqnarray behave like align
- eqnarray: More generalised equation arrays with numbering
- autobreak: Simple line breaking of long formulae
- sesamanuel: Class and package for sesamath books or paper