> (one dev's main complaint was that he was forced to use Eclipse, I don't know if integration has now happened with other IDEs since then) There are a few pr

> (one dev's main complaint was that he was forced to use Eclipse, I don't know if integration has now happened with other IDEs since then) There are a few projects to make this more accessible. We have vscode: https://github.com/alygin/vscode-tlaplus https://github.com/alygin/vscode-tlaplus Jupyter notebooks: https://github.com/kelvich/tlaplus_jupyter https://github.com/kelvich/tlaplus_jupyter emacs: https://github.com/mrc/tla-tools https://github.com/mrc/tla-tools I sort of wrote a vim plugin, but it's nowhere near as sophisticated as the above three. I also recently made public a personal CLI tool (https://github.com/hwayne/tlacli https://github.com/hwayne/tlacli) for running TLC on the command line. It's experimental but I find it really useful.