The TLA+ Video Course

4 points | by woggy 2 hours ago