//Work Protected: Increasing logic assistant adoption Protected: Reducing the time required to integrate with external systems