Man pages matching name prover9 in section 1:

prover9.1.en

debian 10 / prover9