All Questions
Tagged with automated-theorem-proving proof-assistant
2
questions
3
votes
0
answers
46
views
How do proof assistants/ automated theorem provers compare with other symbollic tools like mathematica, maple or magma in terms of practicality [duplicate]
TLDR
What are the advantages and disadvantages of using a proof assistant when compared to using tools like Mathematica in terms of practicality and usability/ease of use ?
ChatGPT summary of the ...
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 ...