Wes 🇵🇸 on Twitter: "I'm watching Leslie Lamport's videos on TLA+ and it is pretty amazing https://t.co/hvD73YzD34" / Twitter

I'm watching Leslie Lamport's videos on TLA+ and it is pretty amazing imgur.com/a/2RisdbL

Conversation