prover

Nghĩa (Tiếng Anh)

1. One who or that which proves.
2. A person, device, or program that performs logical or mathematical proofs.

Từ đồng nghĩa

demonstrator

normalizing device

Từ nguyên (Tiếng Anh)

From prove + -er.