Proof Search and Proof Check for Equational and Inductive Theorems