[eynsham]

I imagine they’d only be taken to be proofs if formally verified. Admittedly formal verification needn’t guarantee comprehensibility.

[Pet_Ant]

I assume there will be a whole industry around refactoring these proofs for human legibility.