[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: TLA+ Video Course
Congrats on finishing the course!!!
On Tuesday, April 3, 2018 at 2:30:41 PM UTC-7, Leslie Lamport wrote:
Lecture 10, the final lecture of the TLA+ Video Course, consisting of two videos, has now been posted. As always, the home page of the course is: