New on CTAN: fitch
Date: September 6, 2023 12:52:52 PM CEST
Richard Zach submitted the
fitch
package.
Version: 0.6 2023-09-04
License: lppl1.3
Summary description: LaTeX macros for Fitch-style natural deduction
Announcement text:
The package provides macros for typesetting natural deduction proofs in Fitch style, with subproofs indented and offset by scope lines. This is the package originally written by Peter Selinger. Richard Zach has taken over as maintainer.
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
The package provides macros for typesetting natural deduction proofs in Fitch style, with subproofs indented and offset by scope lines. This is the package originally written by Peter Selinger. Richard Zach has taken over as maintainer.
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.0 2023-12-17 |
| Copyright | 2002–2023 Peter Selinger |
| Maintainer | Richard Zach |