A static web application to explore and animate a TLA+ state graph.
Why do you think that https://github.com/ashutosh2307/codeboxer-ppp-calculator 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/ashutosh2307/codeboxer-ppp-calculator is a good alternative to tlaplus-graph-explorer