Comment by rowanG077
4 months ago
The point is you just need to scrutinize the theorem. Not easy either, but still significantly less work than writing the proof.
4 months ago
The point is you just need to scrutinize the theorem. Not easy either, but still significantly less work than writing the proof.
No comments yet
Contribute on Hacker News ↗