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