fitch__doc
LaTeX macros for Fitch-style natural deduction
- Version:
- 1.0
- Copyright:
- Peter Selinger
- License:
- lppl1.3
- Packaged on:
- 12/19/2023 12:33:42
- Number of files:
- 6
- Size on disk:
- 300.75 kB
The package provides macros for typesetting natural deduction proofs in Fitch style, with subproofs indented and offset by scope lines.