/tlaplus-graph-explorer

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

Primary LanguageJavaScriptMIT LicenseMIT

Issues