Fedora Packages

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-69.fc39 -
Fedora 38 svn63982-65.fc38 -
Fedora 37 svn58732-60.fc37 -
File a new bug report »
Package Info
Related Packages

You can contact the maintainers of this package via email at texlive dash maintainers at fedoraproject dot org.

Sources on Pagure