3 ms·
Yes, assuming that there remain any proofs which the model checkers and proof assistants haven't already discovered!
by kodis 12y ago
Yes, assuming that there remain any proofs which the model checkers and proof assistants haven't already discovered!
- marcosdumay 12y agoThe space of proofs is enormous. Model checkers and proof assistants will probably become user friendly much sooner than they'll get good enough heuristics to navigate such spaces.