Definition of "prover"

• noun:

  • A person, device, or program that performs logical or mathematical proofs.

    from Wiktionary, Creative Commons Attribution/Share-Alike License

Powered by

View this definition on Wordnik

Back to main page