The AI-powered English dictionary
plural provers
One who or that which proves. examples
A person, device, or program that performs logical or mathematical proofs. quotations examples
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 January 31, Bart Van Kerkhove, Jean Paul Van Bendegem, “Pi on Earth, or Mathematics in the Real World”, in Erkenntnis, volume 68, number 3