prover

Oznaczający (Angielski)

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

Synonimy

normalizing device

Etymologia (Angielski)

From prove + -er.

Notes

Sign in to write sticky notes