这是可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行的命令 gwhy，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
为什么 - 多语言多证明者验证工具
概要
为什么 [ 选项 ] 档
商品描述
为什么 是一个验证工具。 它将带注释的程序作为输入（在 ML 或 C 语法中）和
输出几个证明助手的验证条件（Coq、PVS、HOL Light、Mizar）
和决策程序（haRVey、Simplify）。
配置
-h 帮助。 将为您提供命令行选项的完整列表。
作者
让 - 克里斯托夫 菲利亚特 <filliatr@lri.fr>
使用 onworks.net 服务在线使用 gwhy