ctan-ann - fitch https://www.ctan.org/ctan-ann/rss/fitch.xml CTAN announcements mailing list - for package fitch Fri, 12 Jun 2026 15:58:30 +0200 en-US 60 webmaster@ctan.org (Comprehensive TeX Archive Network) Comprehensive TeX Archive Network https://www.ctan.org/assets/favicon/android-chrome-48x48.png https://www.ctan.org/ctan-ann/rss/fitch.xml New on CTAN: fitch https://www.ctan.org/ctan-ann/id/mailman.2468.1693997585.3764.ctan-ann@ctan.org 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. ... ]]> Wed, 06 Sep 2023 12:52:52 +0200 https://www.ctan.org/ctan-ann/id/mailman.2468.1693997585.3764.ctan-ann@ctan.org CTAN update: fitch https://www.ctan.org/ctan-ann/id/mailman.5121.1702933215.3764.ctan-ann@ctan.org 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 ... ]]> Mon, 18 Dec 2023 21:00:06 +0100 https://www.ctan.org/ctan-ann/id/mailman.5121.1702933215.3764.ctan-ann@ctan.org