====== IntelliJ plugin for TLA+ ======
If you are an IntelliJ IDE user, you can use the following plugin to get started with TLA+ tools: [[https://plugins.jetbrains.com/plugin/17965-tla-]]