CTAN update: fitch
Date: September 13, 2026 7:10:43 PM CEST
Richard Zach submitted an update to the
fitch
package.
Version: 1.1 2026-09-12
License: lppl1.3
Summary description: LaTeX macros for Fitch-style natural deduction
Announcement text:
Adds basic support to fitch for PDF tagging
The package’s Catalogue entry can be viewed at https://ctan.org/pkg/fitch The package’s files themselves can be inspected at https://mirrors.ctan.org/macros/latex/contrib/fitch/
Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs
Adds basic support to fitch for PDF tagging
The package’s Catalogue entry can be viewed at https://ctan.org/pkg/fitch The package’s files themselves can be inspected at https://mirrors.ctan.org/macros/latex/contrib/fitch/
Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs
Fitch – LaTeX 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.
| Package | Fitch |
| Version | 1.1 2026-09-12 |
| Copyright | 2002–2026 Peter Selinger, Richard Zach |
| Maintainer | Richard Zach |