3 ms·Distributing Lamport’s bakery with Automerge, and a touch of TLA+1 points by lukastyrychtr 3y ago