tla-plus

Name: tla-plus
Availability: InStock
Rating: 4.8 (50 reviews)
Author: maxxentropy

TLA+ formal verification for modeling and verifying concurrent algorithms and distributed systems.Us

作者 maxxentropy|オープンソース

tla-plus - Claude Code・Cursor 対応の AIエージェント Skill | Agent Skills