Hacker News new | ask | show | jobs
by Pet_Ant 764 days ago
I assume there will be a whole industry around refactoring these proofs for human legibility.