| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: texlive-lkproof | Distribution: OpenMandriva Lx |
| Version: 20021 | Vendor: OpenMandriva |
| Release: 1 | Build date: Sun Nov 13 02:39:40 2022 |
| Group: Publishing | Build host: altra-5.openmandriva.org |
| Size: 268074 | Source RPM: texlive-lkproof-20021-1.src.rpm |
| Packager: bero <bero@lindev.ch> | |
| Url: http://www.ctan.org/tex-archive/macros/latex/contrib/lkproof | |
| Summary: LK Proof figure macros | |
The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.
GPL
/usr/share/texmf-dist/doc/latex/lkproof/lkproof-doc.pdf /usr/share/texmf-dist/doc/latex/lkproof/lkproof-doc.tex /usr/share/texmf-dist/doc/latex/lkproof/proofeg.tex /usr/share/texmf-dist/tex/latex/lkproof/proof.sty
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Feb 11 23:27:30 2025