Hacker News new | ask | show | jobs
by edanm 871 days ago
Well not every author has helped develop actual mathematical proofs. :)
1 comments

They shoyld really get on that eh