Comment by dash2 5 hours ago Why does it matter to hn? Is it because Dan Brown wrote it? 1 comment dash2 Reply 0976jzhs 5 hours ago Because the proof and Lean formalization have been produced by a clanker.
Because the proof and Lean formalization have been produced by a clanker.