LK Proof figure macros
The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.
| Release | Stable | Testing |
|---|---|---|
| Fedora Rawhide | svn20021-4.fc45 | - |
| Fedora 44 | svn20021-4.fc44 | svn20021-4.fc44 |
You can contact the maintainers of this package via email at
texlive-collection-latexextra dash maintainers at fedoraproject dot org.