@MSGID: <mailman.2468.1693997585.3764.ctan-ann@ctan.org>
79a9660f
@REPLYADDR CTAN Announcements <ctan-ann@ctan.org>
@REPLYTO 2:5075/128 CTAN Announcements
@CHRS: CP866 2
@RFC: 1 0
@RFC-Message-ID:
<mailman.2468.1693997585.3764.ctan-ann@ctan.org>
@RFC-Reply-To: ctan-ann@ctan.org
@TZUTC: 0200
@TID: FIDOGATE-5.12-ge4e8b94
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
--- FIDOGATE 5.12-ge4e8b94
 * Origin: usenet.network (2:5075/128)
SEEN-BY: 5001/100 5005/49 5015/255 5019/40 5020/715
848 1042 4441 12000
SEEN-BY: 5030/49 1081 5075/128
@PATH: 5075/128 5020/1042 4441