3 ms·I use the Visual Studio Code TLA+ plugin, it's significantly nicer to work with.by erichocean 5y agoI use the Visual Studio Code TLA+ plugin, it's significantly nicer to work with.