Overview of Theorem Proving