Hacker News new | ask | show | jobs
by zahlman 6 days ago
But don't you still have to logically connect the validity of the proof to desirability of the output?