AOS Hub

Docs

2026.9.0-dev.20260928.7
Browse releases →

tla-plus

TLA+ tools — TLC model checker, SANY parser, PlusCal translator

tla-plus

TLA+ tools — TLC model checker, SANY parser, PlusCal translator

1.7.4 · aarch64-darwin

tla-plus 1.7.4 · aarch64-darwinPermalink