| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: texlive-rec-thy | Distribution: OpenMandriva Lx |
| Version: 4.5 | Vendor: OpenMandriva |
| Release: 76924.1 | Build date: Mon Jul 13 05:56:55 2026 |
| Group: Publishing | Build host: altra-4.openmandriva.org |
| Size: 0 | Source RPM: texlive-rec-thy-4.5-76924.1.src.rpm |
| Packager: bero <bero@lindev.ch> | |
| Url: https://www.ctan.org/tex-archive/macros/latex/contrib/rec-thy | |
| Summary: Commands to typeset recursion theory papers | |
This package is designed to help mathematicians publishing papers in the area of recursion theory (aka Computability Theory) easily use standard notation. This includes easy commands to denote Turing reductions, Turing functionals, c.e. sets, stagewise computations, forcing and syntactic classes.
pd
/usr/share/texmf-dist /usr/share/texmf-dist/doc /usr/share/texmf-dist/doc/latex /usr/share/texmf-dist/doc/latex/rec-thy /usr/share/texmf-dist/doc/latex/rec-thy/README /usr/share/texmf-dist/doc/latex/rec-thy/rec-thy.pdf /usr/share/texmf-dist/doc/latex/rec-thy/rec-thy.tex /usr/share/texmf-dist/tex /usr/share/texmf-dist/tex/latex /usr/share/texmf-dist/tex/latex/rec-thy /usr/share/texmf-dist/tex/latex/rec-thy/rec-thy.sty
Generated by rpm2html 1.8.1
Fabrice Bellet, Mon Aug 10 22:16:11 2026