[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: TLA+ Video Course
The first two videos of the TLA+ Video Course are now on the Web at
They are far from perfect, but I think they're good enough and I don't intend to change them unless there are real errors that need to be corrected. However, there are many more videos to come, and suggestions for improving them are welcome.