3 ms·
But can you verify them? With less effort?
by TZubiri 15d ago
But can you verify them? With less effort?
- dooglius 15d agoI'm not sure what you mean by "verify" here. I could run the lean verifier as could anyone else. Maybe I could write my own proof checker and do a purely mechanical translation into my own thing, though I don't think that's less effort.