All Questions
Tagged with automated-theorem-proving programming-languages
1
question
3
votes
1
answer
122
views
Do implementations of a PA and of ATP have overlap?
I'm wondering how much overlap (read: code-reusage) there is between a PA and an ATP system.
Are they based upon the same type system at least?
I'm wondering, because right now I'm working on ...
