Add to TLA+ examples
Opened this issue · 3 comments
lemmy commented
Would you consider adding this to https://github.com/tlaplus/examples/?tab=readme-ov-file#examples-elsewhere?
lorin commented
Sure thing! Should I just submit a PR?
lemmy commented
Yes, please!
lorin commented