All Questions
Tagged with first-order-logic acl2
1
question
6
votes
1
answer
225
views
Is ACL2 first-order-logic and is this a limitation for proving math?
I am considering whether I should learn the ACL2 proof assistant. However, before diving into that, I wanted to know if there are significant limitations in terms of proving math. The first thing I ...