HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by dash2 | Hacker News Reader
Full thread
dash2
·
Why does it matter to hn? Is it because Dan Brown wrote it?
View on HN
0976jzhs
·
Because the proof and Lean formalization have been produced by a clanker.
Reply on news.ycombinator.com