prover
Short definition from Wiktionary
Noun
- One who or that which proves.
- A person, device, or program that performs logical or mathematical proofs.
- A person who experimentally ingests a substance and then catalogues every effect or symptom.
We haven’t written up prover yet: Simple and Standard meanings, examples and a quiz.