Description
Easy drawing of syntactic proofs.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.synproof ]).
package
synproof
Metadata
Version
1.0Easy drawing of syntactic proofs.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.synproof ]).
1.0