Log in
Sign up
See new Tweets

Conversation

Venkatesh Rao
@vgr
TIL about TLA+ https://en.m.wikipedia.org/wiki/TLA%2B
Quote Tweet
Martin Spindler 🛰
@mjays
·
Oct 18, 2017
Replying to @vgr
TLA+
5:03 AM · Oct 18, 2017
1
Retweet
2
Likes