| ▲ | dash2 2 hours ago | |
Why does it matter to hn? Is it because Dan Brown wrote it? | ||
| ▲ | 0976jzhs 2 hours ago | parent [-] | |
Because the proof and Lean formalization have been produced by a clanker. | ||
| ▲ | dash2 2 hours ago | |
Why does it matter to hn? Is it because Dan Brown wrote it? | ||
| ▲ | 0976jzhs 2 hours ago | parent [-] | |
Because the proof and Lean formalization have been produced by a clanker. | ||