Hacker News new | ask | show | jobs
by pencil 5730 days ago
oh ya..that looks like a formal proof!!!!!!!!!