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