Tagged Questions
36
votes
5answers
2k views
Has any previously unknown result been proven by an automated theorem prover?
The Wikipedia page on automated theorem proving states:
Despite these theoretical limits, in practice, theorem provers can solve many hard problems...
However it is not clear whether these 'hard ...
3
votes
3answers
230 views
How to start with automated theorem proving?
I'm interested in this question, but I'm not going to list my knowledge/demands but rather gear it to more general purpose; so the first thing concerns the prerequisites, i.e.
How much ...
