prover

noun

1. One who or that which proves.

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