|
|
|
|
|
|
by _delirium
4949 days ago
|
|
|
Well, if the proof is first formalized, it's easier for machines to verify. But formalizing it is much harder. This is similar to the situation in software, where uptake of formal-verification tools that can prove correctness of programs is relatively low (though Agda is making some very interesting progress). |
|
|