3 ms·That doesn't sound right, we already have automated theorem provers, as imperfect as they may be.by MaxBarraclough 3y agoThat doesn't sound right, we already have automated theorem provers, as imperfect as they may be.