这是 ladr4-apps 命令，可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
ladr4-apps - 未记录的 LADR4 应用程序
商品描述
中的一些程序 ladr4-应用程序 包目前没有手册页。 您可以获得
关于其中一些应用程序的文档，通过 证明者9 手册，可在
Debian 系统通过软件包 证明者9-doc在
/usr/share/doc/prover9-doc/manual/index.html. 或者调用应用程序
此 -救命 选项可能会生成文档。 欢迎使用补丁添加手册页，并且
可能会发送给 Debian 软件包维护者，其详细信息如下所示。
使用 onworks.net 服务在线使用 ladr4-apps
