You've got a point, but in this case you are barking at the wrong tree. Aren't they talking about automated proof-checking?
You've got a point, but in this case you are barking at the wrong tree. Aren't they talking about automated proof-checking?