prover
英：[prʊvə] 美： [prʊvə]
prover 基本解释
释义证人，校准[试验]装置，打校样工人；
prover 相关例句
权威例句
An efficient propositional proverSimplify: a theorem prover for program checkingIsabelle --- A Generic Theorem ProverOn the power of unique 2-prover 1-round gamesOn the power of unique 2-prover 1-round gamesSATO: An Efficient Propositional ProverIsabelle - A Generic Theorem Prover (with a contribution by T. Nipkow)Isabelle - A Generic Theorem Prover (with a contribution by T. Nipkow)Nondeterministic exponential time has two-prover interactive protocolsNon-Deterministic Exponential Time has Two-Prover Interactive Protocols
