prover

From prove +‎ -er.

prover (plural provers)

1. One who or that which proves.
   • 2025 July 9, Joe Campbell, “Network News: GWR hails success of batteries on branch tests”, in RAIL, number 1039, page 13:

     "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."

2. A person, device, or program that performs logical or mathematical proofs.
   • 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:

     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.

• linen prover

• Přerov

• prouver
• pruver (Anglo-Norman)

From Latin probāre.

prover

1. to prove

This verb conjugates as a first-group verb ending in -er. The forms that would normally end in *-v, *-vs, *-vt are modified to f, s, t. This verb has a stressed present stem pruev distinct from the unstressed stem prov. Old French conjugation varies significantly by date and by region. The following conjugation should be treated as a guide.

• esprover

• prueve

• French: prouver
• → German: prüfen
• → Old English: prōfian
  • Middle English: proven
    • English: prove

From Latin prōvidēre, with the loss of the second syllable. By surface analysis, pro- +‎ ver.

prover (first-person singular present provejo, first-person singular preterite provi, past participle provido)

1. to provide (give what is needed or desired)

• ver

prover

1. indefinite plural of prov