no need for using heavy TLC to check TLA+ , this one run in the browser https://github.com/aidenybai/tla-ts
GitHubGitHub - aidenybai/tla-ts: A TLA+ interpreter and model checker in TypeScriptA TLA+ interpreter and model checker in TypeScript - aidenybai/tla-ts
commit e6b5eb5