2 ms·

The TLA Plus examples repository is very good: https://github.com/tlaplus/Examples https://github.com/tlaplus/Examples . I would recommend starting with somethi

by teeray 1y ago

The TLA Plus examples repository is very good: https://github.com/tlaplus/Examples https://github.com/tlaplus/Examples . I would recommend starting with something simple like the DieHard problem.