CTAN Comprehensive TeX Archive Network

CTAN update: rec-thy

Date: January 2, 2011 8:12:01 PM CET
This should be at your local mirror. Jim Hef{}feron Saint Michael's College ............................................................................ The following information was provided by our fellow contributor: Name of contribution: rec-thy Version number: 1.2 Author's name: Peter Gerdes Summary description: Commands to typeset recursion theory papers. License type: lppl Announcement text:
Update to version 1.2 Fixed awful bug stopping options from working. Added mrref option.
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.

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

Announcements

more

Guest Book Sitemap Contact Contact Author