a person, device, or program that performs logical or mathematical proofs

listen to the pronunciation of a person, device, or program that performs logical or mathematical proofs
Englisch - Englisch
prover