Hacker News new | ask | show | jobs
by sigstoat 6704 days ago
"how to prove it" is by Velleman