Architecture of the TLA+ Toolbox (IDE)

This paper by Kuppe et al presents the technical architecture of the toolbox in this paper: https://arxiv.org/pdf/1912.10633