Learn TLA+ (2018)

387 points by brodo

Read the article

Discussion on Hacker News