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