prover造句

1、The Study of Hardware Verification in Theorem Prover HOL
基于定理证明器HOL的硬件验证研究

2、This paper proposes an automatic calibration system of bell prover gas calibration facility.
介绍了一种钟罩式气体流量标准装置自动检定系统。

3、A prover for parallel numerical verification of a class of constructive geometry theorems.
一类构造性几何定理的数值并行法证明器。