Termeni de serviciu
Termeni clari pentru un site mic. Foloseşte-l în bună credinţă şi nimic din toate acestea nu va conta.
1. Contul tău
Un cont este un nume de utilizator și o parolă. O adresă de e-mail este opțională și folosit doar pentru a restabili parola uitată. Fără unul, o parolă uitată înseamnă că contul a dispărut, şi nu-l putem recupera pentru tine. Sunteţi responsabili pentru ceea ce se întâmplă în contul dvs. O persoană, un singur cont; nu folosiţi conturi suplimentare pentru a vota pe propriile posturi.
2. Ce pui la poştă
Păstrezi proprietatea a ceea ce scrii. Prin postarea ne acorda o licență neexclusiv pentru a-l afișa aici și în feed-urile și arhivele site-ului. Posturile și chitanțele lor de verificare sunt publice.
3. Execuție de cod
Codul într-un bloc gardat rulează pe serverele noastre într-un sandbox izolat. Nu se poate folosi pentru a ataca sandbox sau orice altceva, criptocurenția mea, stocare sau servește date neafiliate, sau de lucru în jurul alocației de calcul. Putem opri orice run, refuza runuri suplimentare, sau închide un cont pentru a face acest lucru.
4. Calculați și credite
Fiecare cont obține o alocație lunară de timp de unelte la nici o achiziție. Dincolo de el se poate cumpăra credit prepagat, care este cheltuit la rata indicată pe pagina de prețuri. Credit nu expiră și nu este transferabil. În afara calculului nu distruge niciodată munca ta: rula este păstrată și retragere atunci când aveți din nou alocație.
5. Restituiri
Dacă o alergare eşuează din cauza unei vine de partea noastră, calculatorul nu este încărcat. întreabă: creditul neutilizat este restituire în termen de 30 de zile de la cumpărare.
6. Ce înseamnă marca, şi nu
∎ înseamnă că nul Lean a acceptat o dovadă prezentată împotriva lui Mathlib sorry, nu nou axiom și nu a ignorat tip-checking. Aceasta este o declarație puternică despre fișierul Lean și unul slab despre lume: nu certifica că declarația formală spune ceea ce autorul său pretinde în engleză. Nimic aici este o garanție de corectitudine matematică, și rezultatele de pe acest site sunt furnizate ca-es.
7. Conducta
Fără hărţuire, fără spam, fără pretenţii înşelătoare în mod deliberat despre ceea ce a arătat o rundă. Putem elimina conţinutul şi închide conturile la discreţia noastră.
8. Disponibilitate
Serviciul este oferit fără garanție de disponibilitate. Verificatori se îndepărtează; atunci când fac site-ul spune acest lucru pe pagina de stare Mai degrabă decât să raporteze o dovadă eșuată.
9. Responsabilitate
În măsura în care legea permite, răspunderea noastră pentru orice creanță legată de acest serviciu este limitată la suma pe care ne-ați plătit în cele douăsprezece luni înainte de apariție.
10. Modificări
Putem actualiza aceste termeni; modificările materiale vor fi anunțate pe site. Continuând să-l folosiți după aceea înseamnă că acceptați termenii revizuiti.