lplfitch ======== LaTeX package for typesetting Fitch-style proofs a la Language, Proof, and Logic, a logic textbook by Jon Barwise and John Etchemendy. It was originally written by John Etchemendy, with modifications by Dave Barker-Plummer and Richard Zach. https://github.com/rzach/lplfitch Installation ------------ Run latex on lplfitch.ins to produce lplfitch.sty Run latex on lplfitch.dxt to produce the documentation. License ------- Copyright 2013 by John Etchemendy, Dave Barker-Plummer, and Richard Zach This work may be distributed and/or modified under the conditions of the LaTeX Project Public License, either version 1.3 of this license or (at your option) any later version. The latest version of this license is in http://www.latex-project.org/lppl.txt and version 1.3 or later is part of all distributions of LaTeX version 2005/12/01 or later. This work has the LPPL maintenance status `maintained'. The Current Maintainer of this work is Richard Zach. This work consists of the files lplfitch.dtx and lplfitch.ins and the derived files lplfitch.sty and lplfitch.pdf. Versions -------- 0.9 (2013/05/16) First public beta
Download the contents of this package in one zip archive (228.7k).
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”.)
|Licenses||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