M medium.com Lean and AI caught a bug in my 2-year-old TLA+ spec 1 points polyglotfacto 8 months ago 1 comments
