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