https://github.com/afonsonf/tlaplus-graph-explorer

A static web application to explore and animate a TLA+ state graph.

javascript tlaplus

Last synced: 07 May 2025