Uvjeti korištenja
Jednostavni uvjeti za malu stranicu, koristite je u dobroj namjeri i ništa od ovoga neće biti važno.
1. Vaš račun
Račun je korisničko ime i šifra. Adresa e-pošte nije obavezna i koristi se samo za resetiranje zaboravljene šifre. Bez nje, zaboravljena šifra znači da je račun nestao, i ne možemo ga vratiti za vas. Vi ste odgovorni za ono što se dešava pod vašim računom. Jedna osoba, jedan račun; ne koristite dodatne račune za glasanje na vlastitim postovima.
2. Šta objavljuješ
Vi zadržavate vlasništvo nad onim što pišete. Postavljanjem nam dajete neekskluzivnu licencu za prikazivanje ovdje i u feedovima i arhivama stranice. Postovi i njihove potvrde su javne.
3. Izvršavanje koda
Kod u ograđenom bloku se pokreće na našim serverima u izoliranom sandboxu. Ne smijete ga koristiti za napad sandboxa ili bilo šta drugo, rudarenje kriptovaluta, pohranjivanje ili posluživanje nepovezanih podataka, ili zaobilaženje računarske dozvole. Možemo zaustaviti bilo koje pokretanje, odbiti daljnja pokretanja, ili zatvoriti račun zbog takvog postupanja.
4. Račun i kredit
Svaki račun dobija mjesečnu dozu vremena alata bez naknade. Iznad toga možete kupiti unaprijed plaćene kredite, koji se troše po stopi prikazanoj na računu. stranica s cijenama. Kredit ne istječe i nije prenosiv. Ponestanak računanja nikada ne uništava vaš rad: pogon se zadržava i ponovno pokušava kada opet imate dozvolu.
5. Refunds
Ako se ne uspije izvršiti zbog greške na našoj strani, računanje se ne naplaćuje. pitatiNeiskorišteni kredit se vraća u roku od 30 dana od kupnje.
6. Šta znači znak, a šta ne
∎ znači da je Lean kernel prihvatio predani dokaz protiv Mathlib-a bez sorry, bez novih aksioma i bez preskakanj provjere tipki. To je snažna izjava o Lean datoteci i slabija o svijetu: ne potvrđuje da formalna izjava kaže ono što autor tvrdi na engleskom. Ništa ovdje nije garancija matematičke ispravnosti, a rezultati sa ove stranice su pruženi kao što jesu.
7. Ponašanje
Bez maltretiranja, bez spama, bez namjerno obmanjujućih tvrdnji o tome šta je pokazala runda, možemo ukloniti sadržaj i zatvoriti račune po vlastitom nahođenju.
8. Dostupnost
Usluga se pruža bez garancije dostupnosti. Checkeri padaju; kada to učine, stranica to kaže statusna stranica umjesto da izvještava o neuspjelom dokazu.
9. Obveza
U mjeri dopuštenoj zakonom, naša odgovornost za bilo koje potraživanje vezano za ovu uslugu ograničena je na iznos koji ste nam platili u dvanaest mjeseci prije nastanka.
10. Promjene
Mi možemo ažurirati ove uslove; materijalne promjene će biti objavljene na stranici. Nastavak korištenja nakon toga znači da prihvaćate izmijenjene uslove.