
Inference Rules and T-diagrams with the semantic Package
Author
LianTze Lim
License
Creative Commons CC BY 4.0
Abstract
Some examples of typesetting inference rules and T-diagrams using the semantic
package.

Some examples of typesetting inference rules and T-diagrams using the semantic
package.