任期
使用一个小网站的直线术语。 请善意使用它, 任何这一切都无关紧要 。
1. 你的账户
账户是一个用户名和密码。电子邮件地址是可选的,仅用于重置被遗忘的密码。 没有密码,密码就意味着账户就消失了 我们无法为你收回 您负责您的账户下发生的事情。一个人,一个账户;不要使用额外账户投票。
2. 写什么
您保留您所写内容的所有权。 张贴您给我们一份非专有许可证, 以显示您在网站的文稿和档案中。 邮递及其核查收据是公开的 。
3. 执行守则
在一个隔离的沙箱中,我们服务器上设置了围栏的代码。 你不能用它来攻击沙箱或其他任何东西,我的加密货币,储存或提供无关的数据,或者围绕计算备抵进行工作。 我们可以停止任何运行,拒绝进一步运行,或者关闭账户。
4. 计算和积分
每个账户每月免费获得工具时间额度。除此之外,您可以购买预付贷款,其使用率与《联合国统计月报》上显示的相同。 定价页面. 积分不会过期,也不能转让。 计算失败不会破坏您的作品: 运行会保留, 并且当您再次获得补贴时会重新尝试 。
5. 退
如果因为我们一方的过失而运行失败,计算不收费。 询问:未用积分可在购买后30天内退还。
6. 标记意味着什么,而不是意味着什么
∎ 意指Lean内核接受了提交的证据 指Mathlib没有 sorry, 新的正则和不跳过类型检查。这是关于利恩文件的有力声明,而关于世界的弱项声明:它不能证明正式声明的英文词句是作者所说的。这里没有数学正确性保证,而该网站的结果也以原文提供。
7. 行为
任何骚扰、垃圾邮件、蓄意误导性的指控,都无法证明我们所展示的是什么。 我们可以随意删除内容和关闭账户。
8. 可用程度
提供这种服务时没有保证供应。 状态页面 而不是报告一个失败的证据。
9. 负债
在法律允许的范围内,我们对与这项服务有关的任何索赔的赔偿责任限于你在发生前12个月付给我们的数额。
10. 变动
修改后,您将接受修改后的修改。