Description
LaTeX macros for Fitch-style natural deduction.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.fitch ]).
package
fitch
Metadata
Version
1.0LaTeX macros for Fitch-style natural deduction.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.fitch ]).
1.0