Hacker News new | ask | show | jobs
by brohee 60 days ago
In the end "proofs" that are not machine checked will be left unread unless submitted by someone very respected in the field...