Hacker News new | ask | show | jobs
by mlevental 2469 days ago
they have a logical structure (claim, lemma, lemma, proof, etc.). they do not have a shape in the sense that the person i responded to intends.