Description
Typeset natural deduction proofs.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.natded ]).
package
natded
Metadata
Version
0.1Typeset natural deduction proofs.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.natded ]).
0.1