rec-thy – 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.
Sources | /macros/latex/contrib/rec-thy |
Documentation | |
Repository | https://github.com/TruePath/Recursion-Theory-Latex-Package |
Version | 4.0 2024-03-29 |
Licenses | Public Domain Software |
Copyright | 2010–2024 Peter M. Gerdes |
Maintainer | Peter M. Gerdes |
Contained in | TeX Live as rec-thy MiKTeX as rec-thy |
Topics | Maths Experimental LaTeX3 |
Download the contents of this package in one zip archive (141.8k).
Announcements
Suggestions
Maybe you are interested in the following packages as well.
Community Comments