Prover
Pronunciation: /ˈpɹɑvɚ/
Prover (noun)
- A person or system that creates a proof to show a statement is true.
- A tool that checks whether something works or is correct by running a test.
Examples
- The prover checks every step of the proof carefully.
- A prover can verify the logic behind a theorem.