I'm interested in writing my undergraduate thesis on automated theorem proving, and I've been looking for some material to document myself on the topic.
I was introduced to automated and assisted theorem proving by reading a few books that describe the idea to non-necessarily-technical readers, but they were written between the 1970s and the 80s, and most technical books I am finding on the topic are from that same period. That's not to say that old books are not good, most math books I own are reprints of books from that very period, I'm just wondering whether or not the topic has been of any interest to researchers in the last few years.
If it hasn't, why do you think this is the case? And if it has, what do you think would be a good starting point for me to dive into it?