A proof assistant is a computer program used to formally verify the consistency of a proof. See https://en.wikipedia.org/wiki/Proof_assistant