- Version:
- 2.4.3
- Copyright:
- Peter M. Gerdes
- License:
- pd
- Packaged on:
- 12/3/2018 9:11:12 PM
- Number of files:
- 5
- Size on disk:
- 178.33 kB
The package provides many macros to express standard notation in recursion theory (otherwise known as computability theory).