7 ms·
Yes! I put together some explanation and TLA+ related resources in this comment, the website is one of them: https://news.ycombinator.com/item?id=48075169 https
by gobdovan 5mo ago
Yes! I put together some explanation and TLA+ related resources in this comment, the website is one of them: https://news.ycombinator.com/item?id=48075169 https://news.ycombinator.com/item?id=48075169