proof assistant

American  

[proof-uh-sis-tuhnt] / ˈpruf əˌsɪs tənt /

noun

plural

proof assistants

1. Computers. theorem prover.

---

Example Sentences

One math gadget is called a proof assistant, or interactive theorem prover.

From New York Times • Jul. 2, 2023

But a proof assistant also has drawbacks: It often complains that it does not understand the definitions, axioms or reasoning steps entered by the mathematician, and for this it has been called a “proof whiner.”

From New York Times • Jul. 2, 2023

Of late, the open-source proof assistant system Lean is attracting attention.

From New York Times • Jul. 2, 2023