2 ms·
https://lamport.azurewebsites.net/tla/tla.html https://lamport.azurewebsites.net/tla/tla.html ?
by floxy 5mo ago
https://lamport.azurewebsites.net/tla/tla.html https://lamport.azurewebsites.net/tla/tla.html ?
- gobdovan 5mo agoYes! 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