TLA+ Video Course

[Leslie Lamport <tlapl...@xxxxxxxxx>]

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

  http://research.microsoft.com/en-us/um/people/lamport/mooc/prop-logic-c9.html

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.

Thanks,

Leslie