Podmienky používania
Jednoduché podmienky pre malé stránky, používajte ich v dobrej viere a nič z toho nebude mať význam.
1. Váš účet |
Účet je užívateľské meno a heslo, e-mailová adresa je voliteľná a používa sa len na obnovenie zabudnutého hesla. Bez neho znamená zabudnuté heslo, že účet je stratený a nemôžeme ho pre vás obnoviť. Ste zodpovedný za to, čo sa deje pod vaším účtom.Jeden človek, jeden účet; nepoužívajte ďalšie účty na hlasovanie o svojich príspevkoch.
2. Čo zverejňujete
Vlastníkom toho, čo napíšeš, si stále ty. Uverejnením príspevku nám udeľuješ nevýhradnú licenciu na jeho zobrazenie tu a v informačných kanáloch a archívoch stránky. Príspevky a potvrdenia o ich overení sú verejné.
3. Spustenie kódu
Kód v oplotenom bloku sa spúšťa na našich serveroch v izolovanom sandboxe. Nesmiete ho použiť na útok na sandbox alebo čokoľvek iné, ťažiť kryptomenu, ukladať alebo poskytovať nesúvisiace údaje alebo obchádzať výpočtové povolenie. Môžeme zastaviť akékoľvek spustenie, odmietnuť ďalšie spustenia alebo zrušiť účet za takéto konanie.
4. Výpočet a kredit
Každý účet dostane mesačný príspevok času nástroja bez poplatku, nad tento limit si môžete kúpiť predplatený kredit, ktorý sa minú v sadzbe uvedenej na účte. Stránka s cenou. Kredity nemajú vypršanú platnosť a nie sú prenosné. Ak dôjde výpočtový čas, vaša práca sa nikdy nezničí. Spúšťanie sa ponechá a po opätovnom získaní kreditu sa opätovne vyskúša.
5. Náhrady
Ak sa spustenie zlyhá kvôli chybe na našej strane, výpočet sa neúčtuje.Pre všetko ostatné, pýtať sa: Nevyužitý kredit je možné vrátiť do 30 dní od nákupu.
6. Čo znamená značka a čo nie
∎ znamená, že Lean kernel prijal predložený dôkaz proti Mathlib bez sorry, žiadna nová axióma a žiadna vynechaná kontrola pravopisu. To je silné vyhlásenie o Lean súbore a slabšie o svete: nepotvrdzuje, že formálne vyhlásenie hovorí to, čo jeho autor tvrdí v angličtine. Nič tu nie je zárukou matematickej správnosti a výsledky z tejto stránky sú poskytované tak, ako sú.
7. Správanie
Žiadne obťažovanie, spam, úmyselne zavádzajúce tvrdenia o tom, čo sa ukázalo v priebehu behu.Môžeme odstrániť obsah a zrušiť účty podľa nášho uváženia.
8. Dostupnosť
Služba je poskytovaná bez záruky dostupnosti. Dáma sa zrúti; keď sa to stane, stránka to oznámi. Na stránke so stavom skôr ako hlásenie neúspešného dôkazu.
9. Zodpovednosť
V rozsahu povolenom zákonom je naša zodpovednosť za akékoľvek nároky týkajúce sa tejto služby obmedzená na sumu, ktorú ste nám zaplatili v priebehu dvanástich mesiacov pred vznikom nároku.
10. Zmeny
Tieto podmienky môžeme aktualizovať; podstatné zmeny budú oznámené na stránke a pokračovanie v používaní stránky po tejto aktualizácii znamená, že súhlasíte s revidovanými podmienkami.