aidenybai /tla-tsTypeScript1749A TLA+ interpreter and model checker in TypeScriptformal-verificationtlaplustypescript