proof assistant
From WikiWord, the free dictionary
English
Definitions
No definition found for “proof assistant”. Check the spelling, or try a related word.
Related words
Synonyms
interactive proof systemcomputer algebra systemprogramming toolcomputer-assisted translationcompiler-compilerformal methodssat solverformal specificationtoolchainquestion answeringcomputer-aided manufacturingautomated reasoningintegrated development environmentcomputer programmingprogram synthesissolver