task-scheduler icon indicating copy to clipboard operation
task-scheduler copied to clipboard
verified publisher icon ubisoft

Add to TLA+ examples and/or awesome-tlaplus?

Open lemmy opened this issue 3 years ago • 0 comments

Hi, please open PRs if you want your specs and/or talk listed at https://github.com/tlaplus/examples and https://github.com/tlaplus/awesome-tlaplus

lemmy avatar Feb 06 '23 23:02 lemmy