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

TLA+ Video Course

I am planning to create a series of video lectures that will
constitute a course on writing TLA+ specifications.  A pilot that
shows what the lectures might look like is at


I would appreciate your feedback on how well it works and how I can
make it better.  Don't bother telling me about the terrible sound or
about little glitches--that will all be fixed in the actual lectures.