Comment by floxy 3 hours ago https://lamport.azurewebsites.net/tla/tla.html ? 1 comment floxy Reply gobdovan 3 hours 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
gobdovan 3 hours 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
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