4 ms·
The TLA+ Video Course by Leslie Lamport: https://news.ycombinator.com/item?id=16956778 https://news.ycombinator.com/item?id=16956778
by jakeogh 8y ago
The TLA+ Video Course by Leslie Lamport: https://news.ycombinator.com/item?id=16956778 https://news.ycombinator.com/item?id=16956778