Inference Rules and T-diagrams with the semantic Package
Author
LianTze Lim
View Count
5006
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.