Basic Proof techniques

So far, all the techniques I used in my proof are induction proof and modus ponens, and other propositional judgements. I really think that I can do my proof on the theorem prover, that will definitely eliminate my doubts of correctness of my proof.