这是 dfg2ascii 命令,可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行,例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序:
您的姓名
dfg2ascii - 将 DFG 文件转换为印刷精美的 ASCII 文件
概要
dfg2ascii
商品描述
dfg2ascii 是一个将问题输入文件转换为 DFG 格式化成漂亮的印刷品
ASCII 文本。 它按顺序打印出公理和猜想。
使用 onworks.net 服务在线使用 dfg2ascii