(Semi-)Automatic Resoning Tools

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

(Semi-)Automatic Resoning Tools

Hossein Haeri
Dear all,

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


Yahoo! Photos – NEW, now offering a quality print service from just 8p a photo http://uk.photos.yahoo.com
Boost-users mailing list
[hidden email]