Jul 26, 2017 · 1 min read
Thanks for writing it! I still have a long way to go is all, before I can capture it. Watching the Leslie Lamport videos on TLA+ a couple of times has helped a lot.
Thanks for writing it! I still have a long way to go is all, before I can capture it. Watching the Leslie Lamport videos on TLA+ a couple of times has helped a lot.