ladicleTLA+ video course is great!TLA+ video courses are casted by Dr. Lamport. It’s very inspiring and funny for TLA+ learner.Jan 17, 2018Jan 17, 2018