prover9-mace4 - 云端在线

在 OnWorks 免费托管服务提供商中通过 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器运行prover9-mace4

这是命令prover9-mace4 可以使用我们的多个免费在线工作站之一在OnWorks 免费托管服务提供商中运行，例如Ubuntu Online、Fedora Online、Windows 在线模拟器或MAC OS 在线模拟器

prover9-mace4 - Prover9 和 Mace4 的图形定理证明器界面

证明者9-狼牙棒4

本手册页简要记录了 证明者9-狼牙棒4 命令。

证明者9-狼牙棒4 是一个图形用户界面 (GUI) 证明者9(1) 定理证明者和
mace4(1)反模型生成器。

使用说明可以在程序中通过帮助菜单。

使用 onworks.net 服务在线使用prover9-mace4