tla-ts
aidenybai
A TLA+ interpreter and model checker in TypeScript
TypeScript
MIT License 最后更新 2026年10月30日活跃113
Stars
6
Forks
53
Watchers
2
Issues
Star 增长
今日+46
近 7 天+46
近 30 天+46
综合评分83.14
默认分支main
暂无 README 内容
项目可能尚未同步完成，请稍后查看
aidenybai
A TLA+ interpreter and model checker in TypeScript
暂无 README 内容
项目可能尚未同步完成，请稍后查看