Definition of "provers" []

• Plural form of prover. (noun)

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

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