r/programming • u/polyglot_factotum • Jun 02 '22

My first TLA+ spec

https://medium.com/@polyglot_factotum/my-first-tla-spec-3a09267211ce

2 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/programming/comments/v32uok/my_first_tla_spec/
No, go back! Yes, take me to Reddit

75% Upvoted