Updated November 20, 2020
- This document is an attempt to define formal algorithms for the draft of the TC53 specification
- This document describes somee, but not all, of the APIs. Once these are in good shape, thy will be used as a model for the remaining APIs
- The intent is to merge these algorithms into the specification