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
Docs
Configuration
No documented options here. Search this release for an option or guide.