prover

Noun

prover (plural provers)

1. One who or that which proves.
   • "This is a test bed for the technology, so ultimately while we could convert more trains like this, there's a limited number," said Green. "We see this more as a technology prover to allow that, rather to be put into a new train project."2025 July 9, Joe Campbell, “Network News: GWR hails success of batteries on branch tests”, in RAIL, number 1039, page 13
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.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, →DOI
3. A person who experimentally ingests a substance and then catalogues every effect or symptom.