Hacker News
- The TLA+ Video Course http://lamport.azurewebsites.net/video/videos.html 3 comments
- The TLA+ Video Course by Leslie Lamport https://lamport.azurewebsites.net/video/videos.html 17 comments
- Leslie Lamport: Video course on TLA+ http://lamport.azurewebsites.net/video/intro.html 74 comments
Lobsters
- TLA+ Video Course http://lamport.azurewebsites.net/video/videos.html 2 comments formalmethods , video
- The TLA+ Video Course https://lamport.azurewebsites.net/video/videos.html 2 comments programming
- TLA+ Video Course by Leslie Lamport http://lamport.azurewebsites.net/video/videos.html?repost=true 9 comments programming
- The TLA+ Video Course (Leslie Lamport) http://lamport.azurewebsites.net/video/videos.html 3 comments programming