3 ms·
> There might be some small subset of citations that work like a mathematical proof And even then, you're just weakening the result, not throwing it out entire
by nyssos 2y ago
> There might be some small subset of citations that work like a mathematical proof
And even then, you're just weakening the result, not throwing it out entirely: instead of a proof of X that cites a proof of Y, you have a proof that Y implies X.