3 lines
108 B
Plaintext
3 lines
108 B
Plaintext
The package defines a pair of commands \infer and \deduce, that
|
|
are used in constructing LK proof diagrams.
|