Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: texlive-gene-logic | Distribution: OpenMandriva Lx |
Version: 15878 | Vendor: OpenMandriva |
Release: 1 | Build date: Sun Nov 13 00:06:42 2022 |
Group: Publishing | Build host: builder1-1.openmandriva.org |
Size: 110553 | Source RPM: texlive-gene-logic-15878-1.src.rpm |
Packager: bero <bero@lindev.ch> | |
Url: http://www.ctan.org/tex-archive/macros/latex/contrib/gene/logic | |
Summary: Typeset logic formulae, etc |
The package provides a facility to typeset certain logic formulae. It provides an environment like eqnarray, an extended newtheorem environment, and several macros.
OTHER-FREE
/usr/share/texmf-dist/doc/latex/gene-logic/gn-logic14.pdf /usr/share/texmf-dist/doc/latex/gene-logic/gn-logic14.tex /usr/share/texmf-dist/tex/latex/gene-logic/gn-logic14.sty
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Feb 21 23:32:21 2025