3 ms·I assume there will be a whole industry around refactoring these proofs for human legibility.by Pet_Ant 2y agoI assume there will be a whole industry around refactoring these proofs for human legibility.