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