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