The TLA+ Video Course #1 Post by woggy » Mon, Jul 27, 2026, 9:44 PM UTC The TLA+ Video Courselamport.azurewebsites.net