====== 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