← Back to context Comment by dash2 3 hours ago Why does it matter to hn? Is it because Dan Brown wrote it? 1 comment dash2 Reply 0976jzhs 3 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.