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