3 ms·
Yes, but Claude formalized a different proof than Buzzard is trying to, so it helps less than you think. (It certainly helps!)
by sanxiyn 1mo ago
Yes, but Claude formalized a different proof than Buzzard is trying to, so it helps less than you think. (It certainly helps!)