4 ms·I enjoyed your introduction to TLA+, so looking forward to this. Thank you.by bambataa 6y agoI enjoyed your introduction to TLA+, so looking forward to this. Thank you.