One Hat Cyber Team

Your IP : 216.73.216.14

Server IP : 194.44.31.54

Server : Linux zen.imath.kiev.ua 4.18.0-553.77.1.el8_10.x86_64 #1 SMP Fri Oct 3 14:30:23 UTC 2025 x86_64

Server Software : Apache/2.4.37 (Rocky Linux) OpenSSL/1.1.1k

PHP Version : 5.6.40

View File Name : rec-thy.tlpobj

name rec-thy
category Package
revision 58732
shortdesc Commands to typeset recursion theory papers
longdesc This package is designed to help mathematicians publishing
longdesc papers in the area of recursion theory (aka Computability
longdesc Theory) easily use standard notation. This includes easy
longdesc commands to denote Turing reductions, Turing functionals, c.e.
longdesc sets, stagewise computations, forcing and syntactic classes.
containersize 15068
containerchecksum 6c7b66557d5d7b834c2838415744ee1da8eea05bd25292a9793b3a992174ff250f0f66b5ba09d962bc8d1abd0414ba0ef639539318ca1a30a877ef8c06a48a42
doccontainersize 122696
doccontainerchecksum a11ea08603dde4d2a8896c5ac392efc93de53f988b2d7dd458d06a66d91f8f014cb08b56349be4aae7d36dc29b47fb8d6a3e4d74978cddf85d12e596c42cf384
runfiles size=20
 texmf-dist/tex/latex/rec-thy/rec-thy.sty
catalogue-contact-repository https://github.com/TruePath/Recursion-Theory-Latex-Package
catalogue-ctan /macros/latex/contrib/rec-thy
catalogue-license pd
catalogue-topics maths expl3
catalogue-version 3.7