TLA+ Video Course(lamport.azurewebsites.net)30 points·by kondor·4 anni fa·0 commentslamport.azurewebsites.netTLA+ Video Coursehttps://lamport.azurewebsites.net/video/videos.html0 commentsPost comment—