CTAN has a new package: rec-thy
Date: October 16, 2010 8:42:01 AM CEST
This should be at your local mirror.
Thanks again,
Jim Hef{}feron
Saint Michael's College
.........................................................................................
The following information was provided by our fellow contributor:
Name of contribution: rec-thy
Version number: 1.0
Author's name: Peter M. Gerdes
Summary description: Commands to typeset recursion theory (aka computability theory) papers
License type: lppl
Announcement text:
Initial release of the rec-thy package
This package is at http://tug.ctan.org/tex-archive/macros/latex/contrib/rec-thy . Information is at http://tug.ctan.org/pkg/rec-thy (it may take a day for the information to appear). We are supported by the TeX Users Group http://www.tug.org . For your users group see http://www.tug.org/usergroups.html .
Initial release of the rec-thy package
This package is at http://tug.ctan.org/tex-archive/macros/latex/contrib/rec-thy . Information is at http://tug.ctan.org/pkg/rec-thy (it may take a day for the information to appear). We are supported by the TeX Users Group http://www.tug.org . For your users group see http://www.tug.org/usergroups.html .
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.
Package | rec-thy |
Version | 4.0 2024-03-29 |
Copyright | 2010–2024 Peter M. Gerdes |
Maintainer | Peter M. Gerdes |