The TLA+ Video Course

&quot;To accompany the videos, coffee will be better than popcorn. &quot;<p>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.