University of Calgary
UofC Navigation

LaTeX Package for Typesetting Fitch Proofs LPL-Style

Submitted by Richard Zach on Thu, 05/16/2013 - 11:07am

You probably already know about the two packages that you can use to typeset Fitch-style natural deducation proofs in LaTeX.  Here's another, which you may be interested in if you use Barker-Plummer, Barwise, and Etchemendy's popular logic text Language, Proof, and Logic. It makes proofs like this:

lplfitch example

I've taken Etch's original style file and Dave's documentation, put it together in standard docstrip format, cleaned up the code a bit and added a few features.  You can download the beta from

I've also attached the documentation here.

Please file any problem reports on github, if you could, or email me directly. (The comment system here is unreliable.)  I'm hoping to put it on CTAN in a month.

UPDATE: CTAN upload done.

File attachments: 


Submitted by Mark on Sun, 07/07/2013 - 11:16am

Good stuff Richard, thanks for detail documentation. love it

Site Feed

Subscribe to Syndicate