Bedingungen der Dienstleistung
Klare Begriffe für eine kleine Website. Verwenden Sie es in gutem Glauben und nichts davon wird wichtig sein.
1. Ihr Konto
Ein Konto ist ein Benutzername und ein Passwort. Eine E-Mail-Adresse ist optional und wird nur verwendet, um ein vergessenes Passwort zurückzusetzen. Ohne ein Passwort ist das Konto weg, und wir können es nicht für Sie wiederherstellen. Sie sind verantwortlich für das, was unter Ihrem Konto geschieht. Eine Person, ein Konto; verwenden Sie keine zusätzlichen Konten, um auf Ihren eigenen Beiträgen zu wählen.
2. Was Sie posten
Sie behalten das Eigentum an dem, was Sie schreiben. Durch die Posting-Sie gewähren uns eine nicht-exklusive Lizenz, um es hier und in den Feeds und Archiven der Website anzuzeigen.
3. Codeausführung
Code in einem eingezäunten Block läuft auf unseren Servern in einer isolierten Sandbox. Sie dürfen es nicht verwenden, um die Sandbox oder irgendetwas anderes anzugreifen, Minen Kryptowährung, speichern oder dienen nicht verwandte Daten, oder arbeiten um die Berechnungszugabe. Wir können jeden Lauf stoppen, weitere läuft ablehnen oder ein Konto dafür schließen.
4. Berechnung und Kredit
Jedes Konto erhält eine monatliche Kontingent von Werkzeug Zeit ohne Gebühr. Darüber hinaus können Sie Prepaid-Guthaben kaufen, die zu dem auf der angezeigten Rate ausgegeben wird Seite. Kredit läuft nicht ab und ist nicht übertragbar. Ausrechnen zerstört nie Ihre Arbeit: Der Lauf wird gehalten und zurückgefordert, wenn Sie wieder Kontingent haben.
5. Erstattungsbetrag
Wenn ein Lauf fehlschlägt, weil wir uns verschulden, wird der Rechenvorgang nicht geladen. fragen: Nicht verwendete Gutschrift wird innerhalb von 30 Tagen nach dem Kauf zurückerstattet.
6. Was das Zeichen bedeutet und nicht
∎ bedeutet, dass der Lean Kernel einen gegen Mathlib eingereichten Beweis ohne sorry, kein neues Axiom und keine übersprungene Typ-Checking. Das ist eine starke Aussage über die Lean-Datei und eine schwächere über die Welt: es bestätigt nicht, dass die formale Aussage sagt, was sein Autor behauptet in Englisch. Nichts ist hier eine Garantie für mathematische Korrektheit, und Ergebnisse von dieser Website werden wie-ist.
7. Verhalten
Keine Belästigung, kein Spam, keine absichtlich irreführenden Behauptungen über das, was ein Lauf zeigte. Wir können Inhalte entfernen und Konten nach unserem Ermessen schließen.
8. Verfügbarkeit
Der Service wird ohne Gewährleistung der Verfügbarkeit bereitgestellt. Checkers gehen nach unten; wenn sie tun, die Website sagt so weiter die Statusseite Statt einen gescheiterten Beweis zu melden.
9. Haftung
Soweit gesetzlich zulässig, ist unsere Haftung für Ansprüche aus diesem Dienst auf den Betrag beschränkt, den Sie uns in den zwölf Monaten vor seiner Entstehung gezahlt haben.
10. Änderungen
Wir können diese Bedingungen aktualisieren; wesentliche Änderungen werden auf der Website angekündigt werden. Weiter zu verwenden, nachdem dies bedeutet, dass Sie die überarbeiteten Bedingungen akzeptieren.