VOOZH about

URL: https://news.ycombinator.com/item?id=19661329

⇱ Learn TLA+ (2018) | Hacker News