Uvjeti usluge
Obični uvjeti za malo mjesto. Koristite ga u dobroj vjeri i ništa od toga neće biti važno.
1. Vaš korisnički račun
Korisničko ime i lozinka. Adresa e- pošte je opcionalna i koristi se samo za resetiranje zaboravljene lozinke. Bez jedne zaboravljene lozinke znači da je račun nestao, i ne možemo ga vratiti za vas. Odgovorni ste za ono što se događa pod vašim računom. Jedna osoba, jedan račun; ne koristite dodatne račune za glasanje na vlastitim postovima.
2. Što stavite
Vi zadržati vlasništvo nad onim što pišete. Objava nam dati ne-exclusive licencu da ga prikažu ovdje i u feeds i arhive web stranice. Postovi i njihovi provjere računi su javno.
3. Izvršavanje koda
Kod u ograđenom bloku radi na našim poslužiteljima u izoliranom pješčanom kutiju. Ne možete ga koristiti za napad na pješčani pesak ili bilo što drugo, mina kriptovaluta, spremiti ili poslužiti nepovezane podatke, ili raditi oko računa dodatak. Možemo zaustaviti bilo kakvu trčanje, odbiti dalje trčanje, ili zatvoriti račun za to.
4. Računanje i kredit
Svaki račun dobiva mjesečni dodatak vremena alata bez naknade. Osim toga možete kupiti predpaid kredit, koji se troši po stopi prikazanoj na stranica za cijene. Kredit ne isteče i nije prijenosljiv. Ponestaje računa nikada ne uništava svoj rad: trčanje je čuvan i ponovno pokušati kada imate dodatak opet.
5. Naknade
Ako trčanje ne uspije zbog greške na našoj strani, račun nije naplaćen. pitaj: neiskorišteni kredit se može vratiti u roku od 30 dana od kupnje.
6. Što znak znači, a ne znači
∎ znači da je jedro Lean prihvatilo predloženi dokaz protiv Mathliba bez sorry, nema nove axiom i ne preskočio tip-provjera. To je jaka izjava o Lean datoteka i slabiji o svijetu: to ne potvrđuje da formalna izjava kaže što autor tvrdi na engleskom jeziku. Ništa ovdje je jamstvo matematičke ispravnosti, a rezultati s ove stranice su osigurani kao-jes.
7. Postupak
Bez uznemiravanja, bez spama, bez namjerno zavaravanja tvrdnji o tome što je pokazao jedan džungl.
8. Dostupnost
Usluga je osigurana bez jamstva dostupnosti. Dame idu dolje; kada to čine stranica kaže na statusna stranica umjesto da prijavite propalog dokaza.
9. Odgovornost
U mjeri koju je zakon dopustio, naša odgovornost za bilo koju tvrdnju vezanu za ovu uslugu ograničena je na iznos koji ste nam platili u dvanaest mjeseci prije nego što je nastala.
10. Izmjene
Možemo ažurirati ove uvjete; materijalne promjene će biti najavljene na stranici. Nastaviti s korištenjem nakon toga znači prihvatiti revidirane uvjete.