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

最新的 Linux 和 Windows 在线程序


下载适用于 Windows 和 Linux 的软件和程序的类别