Menu
CTAN
Comprehensive TeX Archive Network
Cover Upload Browse Search

Direc­tory tex-archive/macros/latex/contrib/lplfitch

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

Files

Name Size Date Notes
README 1159 2013-05-16 19:49
lplfitch.dtx 27438 2013-05-16 19:17
lplfitch.ins 2246 2013-06-30 02:35
lplfitch.pdf 226982 2013-05-16 19:23

Down­load the con­tents of this pack­age in one zip archive (228.7k).

lplfitch – Fitch-style nat­u­ral de­duc­tion proofs

The pack­age pro­vides macros for type­set­ting nat­u­ral de­duc­tion proofs in “Fitch” style, with sub­proofs in­dented and off­set by scope lines.

The proofs from use of the pack­age are in the for­mat used in the text­book Lan­guage, Proof, and Logic by Dave Barker-Plum­mer, Jon Bar­wise, and John Etchemendy.

Pack­age De­tailslplfitch
Home pagehttps://github.com/rzach/lplfitch
Ver­sion0.9
Li­censeThe LaTeX Project Public Li­cense 1.3
Copy­right2013 John Etchemendy, Dave Barker-Plum­mer, and Richard Zach
Main­tainerRichard Zach
Con­tained inTeXlive as lplfitch
MikTeX as lplfitch
Topics sup­port for type­set­ting math­e­mat­ics
Guest Book Sitemap Contact