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.
(In fact, the prefix lpl
in the package name stands for
Language, Proof, and Logic
.)
| Sources | /macros/latex/contrib/lplfitch |
| Documentation | |
| Repository | |
| Version | 0.9 |
| Licenses | The LaTeX Project Public License 1.3 |
| Copyright | 2013 John Etchemendy, Dave Barker-Plummer, and Richard Zach |
| Maintainer | Richard Zach |
| Contained in | TeX Live as lplfitch MiKTeX as lplfitch |
| Topics | Maths |
Download the contents of this package in one zip archive (228.7k).
Suggestions
Maybe you are interested in the following packages as well.
Community Comments