Key techniques and tools used in proof theory include formal systems, proof calculus, cut-elimination, sequent calculus, natural deduction, and proof normalisation. These methods facilitate the formalisation of proofs and the study of their properties and structures within mathematical logic.