Off-hand, I know that there is no such a thing in the
Boost repository: a (semi-)automatic reasoning tool.
Or, am I missing anything?
I have made a short google on that, and the first
thing comming up is ACL2 which is quite huge for my
purpose. The problem with it is that it takes much
longer to become an effective user of it than the time
I've got. So, does anybody here know any such
reasoning tool which doesn't need that much learning