Software/TLA+ Tools

From PKC

Revision as of 13:34, 25 August 2021 by KevinTung (talk | contribs) (Created page with "* Now using [https://github.com/pmer/tla-bin tla-bin] * [https://github.com/talex5/tla] is hard to use. * [https://github.com/hwayne/tlacli] is also possible")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Now using tla-bin
[1] is hard to use.
[2] is also possible

Retrieved from "https://pkc.pub/index.php?title=Software/TLA%2B_Tools&oldid=10221"