texlive-fitch 2025.2
Channel: guix
Home page: https://ctan.org/pkg/fitch
Licenses: LPPL 1.3+
Synopsis: LaTeX macros for Fitch-style natural deduction
Description:
The package provides macros for typesetting natural deduction proofs in Fitch style, with sub-proofs indented and offset by scope lines.
Total results: 1