サービス条件

小さなサイトのための単純な条件です善意で使えばこれは関係ありません

1. あなたのアカウント

アカウントはユーザ名とパスワードです。メールアドレスはオプションで、忘れたパスワードをリセットする際にのみ使用されます。 パスワードを忘れた場合、あなたのアカウントは消えてしまいます。私たちはあなたに復旧できません。 あなたは自分のアカウントで起こる事に責任があります。一人一アカウント。自分の投票に他のアカウントを使うことはありません。

2. あなたが投稿したもの

あなたは自分が書いたものの所有者です。投稿することで、私たちはあなたの投稿をここに表示し、サイトのフィードやアーカイブに表示する非独占的なライセンスを与えられます。投稿とその確認レシートは公開されます。

3. コード実行

フェンシングブロックのコードは、我々のサーバ上で孤立したサンドボックスで実行されます。サンドボックスを攻撃するために、または他の目的で、暗号通貨をマイニングするために、関連のないデータを保存または提供するために、または計算許容量を回避するために、使用することはできません。我々は、それらの行為に対して、実行を停止し、さらなる実行を拒否し、またはアカウントを閉鎖する権限を持っています。

4. 計算と信用

すべてのアカウントは月額料金なしでツール時間を利用できます。それ以上はプリペイドクレジットを購入して、表示されている割合で使えます。価格ページ. クレジットは期限が切れず、移動もできません。計算時間が尽きても作業は破壊されません。ランは保持され、再度時間がある時に再試行されます。

5. 返金

私たちの側の故障でランが失敗した場合、計算は料金をかけません。他の場合は、聞いて未使用クレジットは購入後30日以内に返金可能。

6. マークの意味と意味しないこと

∎ リーンカーネルは Mathlib に対する証明を受け入れました sorryこれは Lean ファイルに関する強い主張であり、世界に関する弱い主張です。これは形式的な文書が作者が英語で主張したことを言っていることを証明しません。ここに記載されている内容は数学的正確性を保証するものではなく、このサイトの結果はそのまま提供されています。

7. 行為

いじめは禁止スパムは禁止意図的に誤った主張は禁止私たちはコンテンツを削除し決定によりアカウントを閉鎖します

8. 利用可能性

サービスは利用可能性の保証なしに提供されます。チェッカーはダウンします。ダウンしたときはサイトがそれを表示します。状態ページを見てみましょう証明に失敗したと報告するよりも

9. 責任

法律で許される限り、このサービスに関するどんなクレームに対する我々の責任は、発生前の12ヶ月間にお客様が我々に支払った金額に限られる。

10. 変更

私たちはこの条件を更新することがあります。重要な変更はサイトで公表されます。その後、このサイトを使用することを続けることは、改訂された条件を受け入れるということになります。

質問.