Hacker News new | ask | show | jobs
by tripzilch 2950 days ago
But is it provable in nondeterministic polynomial stress?