Advertisement - Continue reading below

Definition of "provers" []

  • Plural form of prover. (noun)

Wiktionary.org : Text is available under the Creative Commons Attribution-ShareAlike License

Use "provers" in a sentence
  • "There are the provers who observe everything and want to prove the right way to do something but spend a lot of time debating and not much time doing anything."
  • "Examples of this activity might include the design and analysis of programming, specification and architectural description languages; the construction and optimisation of compilers, interpreters, theorem provers and type inference systems; the invention of logical frameworks and the design of embedded systems, and much more."
  • "Other, research-oriented, theorem provers true to the spirit of NK exist (Pelletier 1998) but are rare."