prover (2 results)