A projectional editor for the specification language TLA+ created with JetBrains MPS.
Home Page:https://youtu.be/8JGlZt_DNt8
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool