[Proof theory][1] is one of the main branches of logic which studies proofs in various systems and theory manipulations.

The functions in proof theory should also be tagged with [tag:lo.logic].

  [1]: https://en.wikipedia.org/wiki/Proof_theory