proof assistant

word

Meaning

No dictionary definition has been added for "proof assistant" yet.

Etymology / origin

No prose etymology has been added yet.

No ancestor words have been linked yet.

Related words

interactive proof system(English)computer algebra system(English)programming tool(English)computer-assisted translation(English)compiler-compiler(English)formal methods(English)sat solver(English)formal specification(English)

Descendant words

No descendant words have been linked yet.

Sources

No citations have been attached yet.

proof assistant — meaning and etymology | WikiWord