Y
Hacker News
new
|
ask
|
show
|
jobs
by
zajio1am
2368 days ago
> so it is only a matter of custom which structures are worthy of studying
Or in other words, which proof steps are considered valid.