Hacker News new | ask | show | jobs
by achenet 1542 days ago
we could ask, but would have no garantee such a proof would be correct.