texlive-lkproof
LK Proof figure macros

The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.

GPL-2.0-or-later

To download packages, you need to log in and have a valid subscription.

Please select a product to see the available package versions:

Loading package downloads...