Man pages matching name mace4 in section 1:

mace4.1.en

debian 10 / prover9