Hacker News Reader

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

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