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