GitHub - ocadaruma/tlaplus-intellij-plugin: Intellij plugin for TLA+ formal specification language.

Intellij plugin for TLA+ formal specification language. - ocadaruma/tlaplus-intellij-plugin
github.com github.com