Definify.com

Webster 1913 Edition

Prover

Prov′er

,
Noun.
One who, or that which, proves.

Webster 1828 Edition

Prover

PROVER

,
Noun.
One that proves or tries; that which proves.

Definition 2024

prover

prover

English

Noun

prover ‎(plural provers)

  1. One who or that which proves.
  2. A person, device, or program that performs logical or mathematical proofs.
    • 2008, January 31, “Bart Van Kerkhove and Jean Paul Van Bendegem”, in Pi on Earth, or Mathematics in the Real World, volume 68, number 3, DOI:10.1007/s10670-008-9102-5:
      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

Old French

Alternative forms

Etymology

From Latin probāre, present active infinitive of probō.

Verb

prover

  1. to prove

Related terms

Conjugation

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, as well as other irregularities. Old French conjugation varies significantly by date and by region. The following conjugation should be treated as a guide.

    Conjugation of prover (see also Appendix:Old French verbs)
simple compound
infinitive prover avoir prové
gerund en provant Use the gerund of avoir followed by the past participle
present participle provant
past participle prové
person singular plural
first second third first second third
indicative jo tu il nos vos il
simple
tenses		 present pruis prueves prueve provons provez pruevent
imperfect provoie, proveie, provoe, proveve provoies, proveies, provoes, proveves provoit, proveit, provot, proveve proviiens, proviens proviiez, proviez provoient, proveient, provoent, provevent
preterite provai provas prova provames provastes proverent
future proverai proveras provera proverons proveroiz, provereiz, proverez proveront
conditional proveroie, provereie proveroies, provereies proveroit, provereit proveriiens, proveriens proveriiez, proveriez proveroient, provereient
compound
tenses		 present perfect Use the present tense of avoir followed by the past participle
pluperfect Use the imperfect tense of avoir followed by the past participle
past anterior Use the preterite tense of avoir followed by the past participle
future perfect Use the future tense of avoir followed by the past participle
conditional perfect Use the conditional tense of avoir followed by the past participle
subjunctive que jo que tu qu’il que nos que vos qu’il
simple
tenses		 present pruisse pruisses pruisse, pruist provons, pruissiens, pruissons provez, pruissiez pruissent
imperfect provasse provasses provast provissons, provissiens provissoiz, provissez, provissiez provassent
compound
tenses		 past Use the present subjunctive of avoir followed by the past participle
pluperfect Use the imperfect subjunctive of avoir followed by the past participle
imperative – tu – nos vos –
— pruisse — provons provez —

Descendants

Portuguese

Etymology

Latin prōvidēre, present active infinitive of prōvideō, with the loss of the second syllable.

Verb

prover ‎(first-person singular present indicative provejo, past participle provido)

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

Conjugation

Swedish

Noun

prover

  1. indefinite plural of prov

Etymology

prove +‎ -er

Similar Results