3 ms·Leslie Lamport’s TLA+ Online Course (2018) [video]16 points by nequo 3y agohnarayanan 3y agoThis is a really cute first video. :)