Description
Formal proofs in the style of sequent calculus.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.ebproof ]).
package
ebproof
Metadata
Version
2.1.1Formal proofs in the style of sequent calculus.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.ebproof ]).
2.1.1