L lamport.azurewebsites.net Leslie Lamport: Video course on TLA+ 328 points kelvich 9 years ago 74 comments
