Hacker News new | ask | show | jobs
by momentoftop 1415 days ago
If the proof is that size, I'd leave it out of my thesis proper, and just provide a link to it as a stable artifact.