Ask HN: Resources for learning about automated theorem proving?

I'd love to learn more about automated theorem proving! I searched online for classes to take, or textbooks to read, but I haven't found anything from the last 5 years.

Does anybody have resources they recommend for learning about this? I am assuming that something more up-to-date would be helpful here but if there are excellent resources from the past that I should check out, I'm open to anything.