mirror of
https://github.com/Stichting-MINIX-Research-Foundation/pkgsrc-ng.git
synced 2025-09-24 20:40:35 -04:00
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.
|