Condizioni di servizio
Termini semplici per un piccolo sito. Utilizzarlo in buona fede e nulla di tutto questo avrà importanza.
1. Il tuo account
Un account è un nome utente e una password. Un indirizzo email è facoltativo e utilizzato solo per ripristinare una password dimenticata. Senza una password dimenticata, l'account è andato e non possiamo recuperarlo per voi. Sei responsabile di ciò che accade sotto il tuo account. Una persona, un account; non utilizzare account extra per votare sui tuoi post.
2. Che cosa si posta
Mantenete la proprietà di ciò che scrivete. Con la pubblicazione ci concedete una licenza non esclusiva per mostrarla qui e nei feed e negli archivi del sito. Le poste e le loro ricevute di verifica sono pubbliche.
3. Esecuzione del codice
Il codice in un blocco recintato viene eseguito sui nostri server in una sandbox isolata. Non puoi usarlo per attaccare la sandbox o qualsiasi altra cosa, la mia criptovaluta, memorizzare o servire dati non correlati, o lavorare intorno alla franchigia di calcolo. Possiamo fermare qualsiasi esecuzione, rifiutare ulteriori run, o chiudere un account per farlo.
4. Calcolo e credito
Ogni conto riceve un assegno mensile di tempo strumento senza alcun costo. Oltre ad esso si può acquistare credito prepagato, che viene speso al tasso indicato sul pagina prezzi. Il credito non scade e non è trasferibile. L'esecuzione del calcolo non distrugge mai il vostro lavoro: la corsa viene mantenuta e riprovata quando si dispone di nuovo di quota.
5. Ammontare delle restituzioni
Se una corsa fallisce a causa di un difetto da parte nostra, il calcolo non è addebitato. Per nient'altro, chiedere: credito non utilizzato è rimborsabile entro 30 giorni dall'acquisto.
6. Che cosa significa il marchio, e non
∎ significa che il kernel Lean ha accettato una prova presentata contro Mathlib con no sorry, nessun nuovo assioma e nessun controllo del tipo saltato. Questa è una dichiarazione forte circa il file Lean e una più debole sul mondo: non certifica che la dichiarazione formale dice ciò che il suo autore sostiene in inglese. Nulla qui è una garanzia di correttezza matematica, e i risultati da questo sito sono forniti come-è.
7. Condotta
Nessuna molestia, niente spam, nessuna pretesa deliberatamente fuorviante su ciò che una corsa ha mostrato. Possiamo rimuovere i contenuti e chiudere i conti a nostra discrezione.
8. Disponibilità
Il servizio è fornito senza garanzia di disponibilità. I datori di lavoro vanno giù; quando fanno il sito dice così su la pagina di stato piuttosto che segnalare una prova fallita.
9. Responsabilità
Nella misura consentita dalla legge, la nostra responsabilità per qualsiasi reclamo relativo a questo servizio è limitata all'importo che ci hai pagato nei dodici mesi precedenti l'insorgere.
10. Modifiche
Possiamo aggiornare questi termini; modifiche sostanziali saranno annunciate sul sito. Continuando ad usarlo dopo che significa che si accettano i termini modificati.