3 ms·Bootstrapping theorem-proving, that's awesome!by akkartik 8y agoBootstrapping theorem-proving, that's awesome!