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.txt
- Last modified: 2024/10/22 01:59
- by
ocadaruma0