Theorem Proving in Coq。

因为tproc是一种基于Coq证明助理的自动化定理证明工具，其全名为Theorem Proving in Coq。

同时，Coq也是一种广泛使用的交互式定理证明助理软件，tproc的出现进一步提高了证明助理的自动化水平，为科研提供了更多便利。