Proving 1 plus 1 = 2 in 616,873 lines of Lean
By pragyaangaur · 2026-10-30 · 2 points · 0 comments
https://github.com/pragyaangaur/Proof-By-Exhaustion
By pragyaangaur · 2 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews