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