证明助手-一流百科

证明助手

简介在计算机科学和数理逻辑中，证明助手或交互式定理检验器是一种软件工具，通过人机协作来协助开发形式证明。这涉及到某种交互式证明编辑器，或其他界面，...