This project packages the workflow used by Kentaro Hanson in their research.
Tools used by int-ptr-ptr in the development and research of dG