new on ctan: lplfitch

CTAN Announcements ctan-ann at
Tue Jul 2 15:15:59 CEST 2013

another upload appears:

> Name of contribution: lplfitch
> Author's name: Richard Zach
> Package version:  0.9
> Location on CTAN: macros/latex/contrib/lplfitch/
> Summary description: Fitch-style natural deduction proofs a la mode de
>           Language, Proof, and Logic
> License type: lppl
> Announcement text given by the package's contributor:
> ----------------------------------------------------------------------
> The package lplfitch provides macros for typesetting natural deduction
> proofs in "Fitch" style, with subproofs indented and offset by scope
> lines.  It produces proofs in the format used in the textbook
> Language, Proof, and Logic by Dave Barker-Plummer, Jon Barwise, and
> John Etchemendy.
> ----------------------------------------------------------------------
> Announcement required: Yes

thanks for the upload; i've installed the new package, and made an entry
for it in the catalogue repository.

> Users may view the package catalogue entry at
> or they may browse the package directory at

Robin Fairbairns

For the CTAN team

More information about the Ctan-ann mailing list