Hacker News new | ask | show | jobs
by rak1507 380 days ago
There aren't really any complicated arguments being made, so I don't think a proof would be that involved.