Description
Proof trees in the style of the sequent calculus.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.bussproofs ]).
package
bussproofs
Metadata
Version
1.1Proof trees in the style of the sequent calculus.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.bussproofs ]).
1.1