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-
using:tlaplus-intellij-plugin:start
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-