Description
Macros for building proof trees.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.prftree ]).
package
prftree
Metadata
Version
1.6Macros for building proof trees.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.prftree ]).
1.6