Noun: prover proov-u(r)
- One who or that which proves or tests something
"The mathematician acted as the prover for the new theorem"
- (computing) a program that attempts to prove mathematical theorems automatically
"The automated prover verified the correctness of the algorithm"
Derived forms: provers
Encyclopedia: Prover