3 ms·
No, nobody needs to check the proof; that's the whole point of formal theorem proving, the machine checks it for you.
by logicchains 3y ago
No, nobody needs to check the proof; that's the whole point of formal theorem proving, the machine checks it for you.