issues
search
ocadaruma
/
tlaplus-intellij-plugin
Intellij plugin for TLA+ formal specification language.
Apache License 2.0
51
stars
2
forks
source link
Support idea 2022.1
#24
Closed
ocadaruma
closed
2 years ago