Hacker News new | ask | show | jobs
by enthulhusiastic 690 days ago
nice try, sneaky prover

(thank you)