texlive-rec-thy - Commands to typeset recursion theory papers
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | Public Domain |
| Vendor: | Alcance Libre, Inc. |
- Description:
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.
Packages
| texlive-rec-thy-svn58732-46.fc14.al.noarch [59 KiB] |
Changelog
by Tom Callaway (2021-09-09):
- add Requires: texlive-epstopdf to texlive-epstopdf-pkg (bz2002690) |