为什么-dp - 云端在线

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

程序:

您的姓名


为什么 - 多语言多证明者验证工具

概要


为什么 [ 选项 ]

商品描述


为什么 是一个验证工具。 它将带注释的程序作为输入(在 ML 或 C 语法中)和
输出几个证明助手的验证条件(Coq、PVS、HOL Light、Mizar)
和决策程序(haRVey、Simplify)。

配置


-h 帮助。 将为您提供命令行选项的完整列表。

作者


让 - 克里斯托夫 菲利亚特 <filliatr@lri.fr>

使用why-dp 在线使用onworks.net 服务



最新的 Linux 和 Windows 在线程序