proof assistant
noun
proof assistants
-
pluralof proof assistant.plural
The grammatical form denoting more than one person, place, thing, or idea.
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.
These proof assistants have a mechanism that mimics the common mathematical practice of transferring information about one thing to another thing that is understood to be the same via an explicit isomorphism or homotopy equivalence.
From Scientific American ● Sep. 14, 2021
