TLA+ Video Course (2021)

(lamport.azurewebsites.net)

32 points | by Tomte 2 days ago ago