New answers tagged automated-theorem-proving
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 ...
- 204
Top 50 recent answers are included