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 ...
Top 50 recent answers are included
Related Tags
automated-theorem-proving × 49lo.logic × 20
reference-request × 10
type-theory × 9
proof-assistants × 6
pl.programming-languages × 5
cc.complexity-theory × 4
set-theory × 4
program-verification × 4
proof-complexity × 3
coq × 3
formal-methods × 3
automata-theory × 2
turing-machines × 2
functional-programming × 2
dependent-type × 2
ct.category-theory × 2
algebra × 2
application-of-theory × 2
model-checking × 2
formal-modeling × 2
resolution × 2
ds.algorithms × 1
fl.formal-languages × 1
soft-question × 1