Man pages matching name proof in section 1:

proof.1.en

debian 10 / alliance