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
_______________________________________________
Ctan-ann mailing list
Ctan-ann@ctan.org
https://lists.dante.de/mailman/listinfo/ctan-ann
