proof assistant
Americannoun
Other Word Forms
Noun Inflected Forms
Example Sentences
Examples are provided to illustrate real-world usage of words in context. Any opinions expressed do not reflect the views of Dictionary.com.
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
One math gadget is called a proof assistant, or interactive theorem prover.
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
Definitions and idiom definitions from Dictionary.com Unabridged, based on the Random House Unabridged Dictionary, © Random House, Inc. 2023
Idioms from The American Heritage® Idioms Dictionary copyright © 2002, 2001, 1995 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company.
