RhymeZone: prover definitions

Definitions of prover:

noun: One who or that which proves.
noun: A person, device, or program that performs logical or mathematical proofs.

(Definitions from Wiktionary)