Prover

Origin

{1} + -er

Full definition of prover

Noun

1. One who or that which proves.
2. 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.

Derived terms

• linen prover