CTAN Comprehensive TeX Archive Network

CTAN update: rec-thy

Date: January 1, 2018 7:36:46 PM CET
Peter M. Gerdes submitted an update to the rec-thy package. Version number: 2.3 License type: pd Summary description: Commands to typeset recursion theory papers Announcement text:
Added a pfcases enviornment that lets one (either numbered or named by the case properties) visually divide up a proof segment into a case based argument. Both the numbered and non-numbered version are compatible with both hyperref and cleveref. Also minor bug fixes (e.g. problems with negated relations under xelatex).
This package is located at http://mirror.ctan.org/macros/latex/contrib/rec-thy More information is at http://www.ctan.org/pkg/rec-thy We are supported by the TeX User Groups. Please join a users group; see http://www.tug.org/usergroups.html .
Thanks for the upload. For the CTAN Team Ina Dau

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.

Version3.7 2021-03-30
Copyright2010–2021 Peter M. Gerdes
MaintainerPeter M. Gerdes



Guest Book Sitemap Contact Contact Author