issues
search
ocadaruma
/
tlaplus-intellij-plugin
Intellij plugin for TLA+ formal specification language.
Apache License 2.0
52
stars
2
forks
source link
Supply default keybinding
#17
Open
ocadaruma
opened
2 years ago