CTAN Comprehensive TeX Archive Network

CTAN update: rec-thy

Date: September 27, 2017 7:31:16 AM CEST
Peter Gerdes submitted an update to the rec-thy package. Version number: 2.0 License type: pd Summary description: Commands to typeset recursion theory papers Announcement text:
Added support for introducing requirements, the subfunction relation and probably other undocumented features. Perhaps most importantly better compatibility. Now useable with both xelatex and pdflatex.
The package's Catalogue entry can be viewed at http://www.ctan.org/pkg/rec-thy The package's files themselves can be inspected at http://mirror.ctan.org/macros/latex/contrib/rec-thy
Thanks for the upload. For the CTAN Team Erik Braun
We are supported by the TeX users groups. Please join a 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