texlive-rec-thy Subpackage of texlive
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.
Releases Overview
| Release | Stable | Testing |
|---|---|---|
| Fedora Rawhide | svn63982-74.fc42 | - |
| Fedora 41 | svn63982-73.fc41 | - |
| Fedora 40 | svn63982-71.fc40 | - |
File a new bug report »
Package Info
Related Packages
Package Info
- Upstream: http://tug.org/texlive/
- License(s): LicenseRef-Fedora-Public-Domain
- Maintainers: spot, jnovy, than
Related Packages
You can contact the maintainers of this package via email at
texlive dash maintainers at fedoraproject dot org.
Sources on Pagure