A static web application to explore and animate a TLA+ state graph.
Why do you think that https://github.com/trekhleb/javascript-algorithms is a good alternative to tlaplus-graph-explorer
A static web application to explore and animate a TLA+ state graph.
Why do you think that https://github.com/trekhleb/javascript-algorithms is a good alternative to tlaplus-graph-explorer