Leslie Lamport: Video course on TLA+

328 points by kelvich

Read the article

Discussion on Hacker News