Pogoji uporabe
Čisti pogoji za majhno mesto. Uporabite ga v dobri veri in nič od tega ne bo pomembno.
1. Vaš račun
Račun je uporabniško ime in geslo. E- poštni naslov je neobvezen in se uporablja samo za ponovno ponovitev pozabljenega gesla. Brez enega geslo pozabljeno pomeni, da je račun izginil in ga ne moremo izterjati za vas. Odgovoren si za to, kar se dogaja pod vašim računom. Ena oseba, en račun; ne uporabljajte dodatnih računov za glasovanje na svojih delovnih mestih.
2. Kaj boste objavili
Obdržujete lastništvo tega, kar pišete. Z objavo nam podelite neizključno dovoljenje, da ga pokažete tukaj in v hrani in arhivih spletnega mesta. Pošte in njihove prejemke preverjanja so javno.
3. Izvajanje kode
Koda v ograjenem bloku teče na naših strežnikih v izoliranem peskovniku. Ne smete ga uporabiti za napad na peskovnik ali karkoli drugega, minsko kriptografijo, shranjujte ali servira nepovezane podatke, ali pa delajte okoli računalnika dodatka. Lahko ustavimo vsak teči, zavrnejo nadaljnje teči, ali zaprete račun za to.
4. Izračun in kredit
Vsak račun dobi mesečno dodatek časa orodja brez stroškov. Poleg tega lahko kupite predplačano kredit, ki je porabljen po stopnji, prikazani na stran s cenami. Kredit ne izteče in ni prenosljiv. Teče iz izračuna nikoli ne uniči vaše delo: zagon je obdržana in ponovno preizkušen, ko imate dodatek ponovno.
5. Nadomestila
Če se potek ne uspe zaradi napake na naši strani, izračunati ni na voljo. Za nič drugega, vprašaj: neuporabljen kredit se vrne v 30 dneh po nakupu.
6. Kaj pomeni znamenje in ne pomeni
∎ pomeni, da je jedro Lean sprejelo predloženo dokazilo proti Mathlibu z ne sorry, Noben novi axiom in noben preskočen tip-preverjanje. To je močna izjava o Lean datoteki in šibkejši o svetu: ne potrjuje, da uradna izjava pravi, kar avtor trdi v angleščini. Nič tukaj ni garancija matematične pravilnosti, in rezultati so na voljo kot-jes.
7. Ukrep
Nobenega nadlegovanja, ne smete zavajati, nobenih trditev o tem, kar je pokazala vožnja.
8. Razpoložljivost
Postrežba je na voljo brez garancije razpoložljivosti. Damski gredo dol; ko storijo spletno mesto pravi tako stran stanja namesto da bi prijavili neuspešen dokaz.
9. Odgovornost
V obsegu, ki ga dovoljuje zakon, je naša odgovornost za vsako zahtevo v zvezi s to službo omejena na znesek, ki ste nam ga plačali v dvanajstih mesecih pred nastanekom.
10. Spremembe
Lahko posodobimo te pogoje; bistvene spremembe bodo napovedane na spletni strani. Nadaljevanje uporabe po tem pomeni, da sprejmete revidirane pogoje.