ProofTools 0.5 Beta
ProofTools被用于自动和图形生成语义图的，也被称为语义树，解析静态画面，证明树木或真相trees.Features在glanceThe已经设计从偏移一个免费分发和多平台软件项目应用程序可以被用来测试参数或证据是否有效的演绎，还是一个公式是一个合乎逻辑的道理。...
ProofTools被用于自动和图形生成语义图的，也被称为语义树，解析静态画面，证明树木或真相trees.Features在glanceThe已经设计从偏移一个免费分发和多平台软件项目应用程序可以被用来测试参数或证据是否有效的演绎，还是一个公式是一个合乎逻辑的道理。...