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.