CTAN Comprehensive TeX Archive Network

fitch – macros for Fitch-style natural deduction

The package provides macros for typesetting natural deduction proofs in Fitch style, with subproofs indented and offset by scope lines.

Sources/macros/latex/contrib/fitch
Documentation
Bug trackerhttps://github.com/OpenLogicProject/fitch/issues/
Repositoryhttps://github.com/OpenLogicProject/fitch/
Version1.0 2023-12-17
LicensesThe Project Public License 1.3
Copyright2002–2023 Peter Selinger
MaintainerRichard Zach
Contained inTeX Live as fitch
MiKTeX as fitch
TopicsMaths
Proof
Logic

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

Community Comments

Loading...

Announcements

Here you can see a respective diagram in newer browsers.

more

Package Links

Guest Book Sitemap Contact Contact Author