The TLA+ Video Course (lamport.azurewebsites.net)

Looks very interesting! Thanks for sharing.

Have been searching for this for a mighty long time! Could not remember the name of this series. Can’t wait to watch this over the weekend.

"To accompany the videos, coffee will be better than popcorn. "

Best warning ever. Gum is also an option!