[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: