CTAN Comprehensive TeX Archive Network

CTAN update: rec-thy

Date: March 30, 2024 9:24:24 AM CET
Peter M. Gerdes submitted an update to the rec-thy package. Version: 4.0 2024-03-29 License: pd Summary description: Commands to typeset recursion theory papers Announcement text:
Major breaking update to the package. Command names have been made more systematic, multiple names for the same command deleted and substantial refactoring. Package should be more stable going forward.
This package is located at https://mirrors.ctan.org/macros/latex/contrib/rec-thy More information is at https://www.ctan.org/pkg/rec-thy
Thanks for the upload. For the CTAN Team Manfred Lotz CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs .

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.

Version4.0 2024-03-29
Copyright2010–2024 Peter M. Gerdes
MaintainerPeter M. Gerdes



Guest Book Sitemap Contact Contact Author