Post a Comment On: A Nod to Nothing

Some quick links for me:

https://lamport.azurewebsites.net/tla/tla.html http://lamport.azurewebsites.net/tla/hyperbook.html https://pron.github.io/ There's a video on the main page https://pron.github.io/posts/tlaplus_part1 https://pron.github.io/posts/tlaplus_part2 http://lamport.azurewebsites.net/video/videos.html https://en.wikipedia.org/wiki/TLA%2B https://www.learntla.com/introduction/ https://en.wikipedia.org/wiki/Certified_Information_Systems_Security_Professional