Also see the TLA+ video course from the same website: https://lamport.azurewebsites.net/video/videos.html https://lamport.azurewebsites.net/video/videos.html L

Also see the TLA+ video course from the same website: https://lamport.azurewebsites.net/video/videos.html https://lamport.azurewebsites.net/video/videos.html Leslie Lamport's a funny guy, and it really comes across in the video series. I think it's a great way to get started with TLA+.