JonahS comments on Progress on automated mathematical theorem proving?

[JonahS]

Heh, I missed the irony :-)

[JoshuaZ]

I didn’t, but realized someone could, hence why my other comment started off with the words “more explicitly” to essentially unpack gjm’s remark.