Man pages matching name prooftrans in section 1:

prooftrans.1.en

debian 10 / prover9