3 ms·
does anyone have recommended video-based ways of learning about TLA+?
by brrrrrm 4y ago
does anyone have recommended video-based ways of learning about TLA+?
- limmeau 4y agoYou can watch Leslie Lamport himself explaining it at https://lamport.azurewebsites.net/video/videos.html https://lamport.azurewebsites.net/video/videos.html . It doesn't cover Pluscal, but goes deep into TLA+. (BTW count the different shirts).
- gnarula 4y agoThere's a video series by Leslie Lamport himself: https://lamport.azurewebsites.net/video/videos.html https://lamport.azurewebsites.net/video/videos.html There's also Dr. TLA+ series by Microsoft Research at https://www.youtube.com/watch?v=ao58xine3jM&list=PLD7HFcN7LXRe2YoG8Ehn0zz2B97bZWM5C https://www.youtube.com/watch?v=ao58xine3jM&list=PLD7HFcN7LX...
- deleted 4y ago[deleted]