3 ms·Not really, because it's extremely nontrivial to formally verify the proofs of most theorems.by throwawaymath 8y agoNot really, because it's extremely nontrivial to formally verify the proofs of most theorems.