News for hackers. Stuff that matters.

A comment on Learn TLA+. Parent comment

Re:Learn TLA+ by gnarula on Wednesday September 28, 2022 @02:48PM (#33011686)
There's a video series by Leslie Lamport himself: 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=PLD7HFcN7LX...

[ Parent | on HN ]

There are no comments on this comment yet.