fitch
LaTeX macros for Fitch-style natural deduction
- Version:
- 1.1
- Copyright:
- Peter Selinger, Richard Zach
- License:
- lppl1.3
- Packaged on:
- 09/27/2026 11:25:23
- Number of files:
- 2
- Size on disk:
- 12.36 kB
The package provides macros for typesetting natural deduction proofs in Fitch style, with subproofs indented and offset by scope lines.