prover noun3 •One who or that which proves. •A person, device, or program that performs logical or mathematical proofs.The prover belongs to a family of checking devices, Turing machines or sequences of these, that are capable of establishing the probable correctness of solutions for very large classes of problems. — 2008 •A person who experimentally ingests a substance and then catalogues every effect or symptom. formsprovers
