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