Hacker News new | ask | show | jobs
The TLA+ Video Course (lamport.azurewebsites.net)
1 points by gits1225 1217 days ago