Man pages matching name interpformat in section 1:

interpformat.1.en

debian 10 / prover9