CTAN Comprehensive TeX Archive Network

Announcements for Fitch

Fitch – macros for Fitch-style natural deduction

The package provides macros for typesetting natural deduction proofs in Fitch style, with subproofs indented and offset by scope lines.

PackageFitch
Version1.1 2026-09-12
Copyright2002–2026 Peter Selinger, Richard Zach
MaintainerRichard Zach

Atom Atom 1.0 feed with announcements for package fitch.
RSS RSS 2.0 feed with announcements for package fitch.

Guest Book Sitemap Contact Contact Author