ctan-ann - fitch Announcements of the Comprehensive TeX Archive Network ctan-ann-fitch 2026-09-11T05:11:04Z New on CTAN: fitch mailman.2468.1693997585.3764.ctan-ann@ctan.org 2023-09-06T12:52:52Z Richard Zach submitted the fitch package. ... 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. ... ]]> CTAN Announcements ctan-ann at ctan.org CTAN update: fitch mailman.5121.1702933215.3764.ctan-ann@ctan.org 2023-12-18T21:00:06Z Richard Zach submitted an update to the fitch package. ... Richard Zach submitted an update to the fitch package. Version number: 1.0 2023-12-17 License type: lppl1.3 Summary description: LaTeX macros for Fitch-style natural deduction Announcement text:
- Internal command names changed from nonstandard nd* to nd@ - Add key-value options to package and environments to configure dimensions and enable use of environments other than array to generate proof table (e.g., tabular, longtable) ... ]]> CTAN Announcements ctan-ann at ctan.org