Bah, I totally wrote this wrong. What I really meant to say was that it is not an automated system for doing a proof. It is a tool that helps you do reasoning and thinking. Augmenting human intelligence rather than replacing it.