issues
search
ocadaruma
/
tlaplus-intellij-plugin
Intellij plugin for TLA+ formal specification language.
Apache License 2.0
51
stars
2
forks
source link
support 232
#33
Closed
ocadaruma
closed
1 year ago