[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: TLA+ Video Course



Lecture 8 of the TLA+ video course is now available.   It's in two parts, with two separate videos.  As always, it's at https://lamport.azurewebsites.net/video/videos.html .

Leslie