Kaj_Sotala comments on Progress on automated mathematical theorem proving?

[Kaj_Sotala]

There’s apparently an annual automated theorem proving competition, looking at the kinds of problems there might be useful.

[JonahS]

Thanks for the reference.