Comment Comment by senkora Also see the TLA+ video course from the same website: https://lamport.azurewebsites.net/video/videos.htmlLeslie 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+. parent senkora 1 year ago
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+.