Hacker News new | ask | show | jobs
by tempWinHater 2468 days ago
Proofs have structure, i.e., shape or form.
1 comments
mlevental 2467 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.
link