4 ms·Interesting… what are your thoughts on Lamport’s TLA+?by uvdn7 4y agoInteresting… what are your thoughts on Lamport’s TLA+?