New answers tagged

0 votes
Accepted

What's the state of research on automated theorem proving?

I would suggest you to have a look at modern implementations of open source theorem provers frameworks, such as Lean and Coq. From there you can have a look into their bibliography to find relevant ...
user avatar
  • 204

Top 50 recent answers are included