这是可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行的命令 proofserv，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
proofserv - PROOF（并行根工具）
商品描述
运用 PROOF （ PArallel 净资产收益率T Facility) 可以在一组树上并行分析树
电脑。 这 PROOF 系统由 打样(1) 从头开始的程序
通过 内网（8）。
打样 负责用户身份验证并覆盖自己然后与所需的版本
的 证明服务(1) 可执行。
- 证明服务(1) 基本相同 根 互动模块 根(1)，除了
它从套接字而不是从终端读取命令。
由于它是一个远程服务器，它不会做图形，因此不与任何
图形库（Motif、X11 等）。
证明服务 由守护进程启动 打样(1) 应用户要求。 这不是命令
由用户直接执行。
注意，如果 证明服务 传递任何参数，它将使用 libProofx 接口，
宁 比 这些因素包括原料奶的可用性以及达到必要粉末质量水平所需的工艺。 lib证明 界面。
使用 onworks.net 服务在线使用 proofserv
