TLA⁺ Web Demos
tree-sitter-tlaplus
: a tree-sitter grammar for TLA⁺ [
demo
] [
project page
]
tla-web
: a web-based intepreter and state explorer for TLA⁺ [
demo
] [
project page
]
Want to add a demo of your own? Submit a PR
here
!