Lean and AI caught a bug in my 2-year-old TLA+ spec

(medium.com) by polyglotfacto | Mar 2, 2026 | 1 comments on HN