Leslie Lamport has a video course[0] on TLA+ that's slowly being released. I created an RSS feed[1] that updates as new episods are released. [0] https://lampo

Leslie Lamport has a video course[0] on TLA+ that's slowly being released. I created an RSS feed[1] that updates as new episods are released. [0] https://lamport.azurewebsites.net/video/videos.html https://lamport.azurewebsites.net/video/videos.html [1] http://fetchrss.com/rss/58d198538a93f8ef3b8b4567741573560.atom http://fetchrss.com/rss/58d198538a93f8ef3b8b4567741573560.at...