name lplfitch
category Package
revision 31077
shortdesc Fitch-style natural deduction proofs.
relocated 1
longdesc The package provides macros for typesetting natural deduction
longdesc proofs in "Fitch" style, with subproofs indented and offset by
longdesc scope lines. The proofs from use of the package are in the
longdesc format used in the textbook Language, Proof, and Logic by Dave
longdesc Barker-Plummer, Jon Barwise, and John Etchemendy.
runfiles size=2
 RELOC/tex/latex/lplfitch/lplfitch.sty
catalogue-ctan /macros/latex/contrib/lplfitch
catalogue-date 2014-02-26 23:03:13 +0100
catalogue-license lppl1.3
catalogue-version 0.9