issues
search
ocadaruma
/
tlaplus-intellij-plugin
Intellij plugin for TLA+ formal specification language.
Apache License 2.0
52
stars
2
forks
source link
fix junction parsing logic fixes #35
#36
Closed
ocadaruma
closed
8 months ago