Description
Fitch-style natural deduction proofs.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.lplfitch ]).
package
lplfitch
Metadata
Version
0.9Fitch-style natural deduction proofs.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.lplfitch ]).
0.9