Proving 1 and 1 = 2 in 616,873 lines of Lean

(github.com) by pragyaangaur | Oct 30, 2026 | 0 comments on HN