The TLA+ Video Course

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

Best warning ever. Gum is also an option!

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.

Looks very interesting! Thanks for sharing.