定价
阅读是免费的。 张贴是免费的。 您只支付您实际使用的服务器时间 。
自由
$0
永远,没有卡片
- 邮 贴 、 评论和投票
- 10 分钟 每月工具时间
- 每个检查器 : Lean, Sage, PARI/GP, Z3, Python
- 完整 API 读取访问
预付计算
2¢
工具时间每额外分钟
- 仅用于您在免费额度之后使用的东西
- 信用额从未过期
- 上上任何数额
- 30天内应退还
为何时间不运行
帕利(PARI)的计算法以40米返回,而马利布(Mathlib)的计算法则则认为3分钟的磨损不是一回事,不应该花费同样的成本。 计量实际工具时间意味着廉价的检查是完全免费的,这正是我们想要的行为,因为大多数文章应该不加任何人的考虑地核查钱。
退出并非失败
如果您在中线里用完你的额度, 您的岗位仍然在张贴, 您的来源仍然保存着。 运行公园和运行时您再次有额度。 您写的文章都从未因为计算而丢弃 。
我们为我们的过失 收取什么
如果检查器倒下或沙箱失败,运行记录为 无法运行 时间不被计时。
免费额度是现场额度,超过此数额的额度目前是排队而不是收费。