这是可以使用我们的多个免费在线工作站之一（例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器）在 OnWorks 免费托管服务提供商中运行的命令证明器
程序：
您的姓名
prover9 - 解析/准调制定理证明器
概要
证明者9 [选项] 输入文件 > 输出文件
证明者9 [选项] -F 输入文件 > 输出文件
商品描述
本手册页简要记录了 证明者9 命令。
证明者9 是一阶和等式逻辑的自动定理证明器。 它是一个
的继任者 獭(1)证明者。 证明者9 使用有序的推理技术
分辨率和辅助调制与文字选择。
配置
下面是选项的摘要。
-h 查看命令行选项列表。
-x 启用实验性增强的自动模式。 如需更多信息，请咨询
证明者9 手册。
-p 完全括号输出。
-t n 将搜索限制为持续约 n 秒。 对于类 UNIX 系统，`user
使用 CPU' 时间。
-f 文件
从输入中获取 文件 而不是来自标准输入。
使用 onworks.net 服务在线使用prover9
