4 ms·
I imagine they’d only be taken to be proofs if formally verified. Admittedly formal verification needn’t guarantee comprehensibility.
by eynsham 2y ago
I imagine they’d only be taken to be proofs if formally verified. Admittedly formal verification needn’t guarantee comprehensibility.
- Pet_Ant 2y agoI assume there will be a whole industry around refactoring these proofs for human legibility.