# 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.

Sources | `/macros/latex/contrib/lplfitch` |

Documentation | |

Home page | https://github.com/rzach/lplfitch |

Version | 0.9 |

License | The LaTeX Project Public License 1.3 |

Maintainer | Richard Zach |

Contained in | TeX Live as lplfitch |

MiKTeX as lplfitch | |

Topics |
support for typesetting mathematics |

Download the contents of this package in one zip archive (228.7k).

## Suggestions

Maybe you are interested in the following packages as well.

- fixmath: Make maths comply with ISO 31-0:1992 to ISO 31-13:1992
- gensymb: Generic symbols for both text and math mode
- rmathbr: Repeating of math operator at the broken line and the new line in inline equations
- boldtensors: Bold latin and greek characters through simple prefix characters