Podmínky služby
Prosté termíny pro malé místo. Použijte ji v dobré víře a nic z toho bude důležité.
1. Váš účet
Účet je uživatelské jméno a heslo. E-mailová adresa je volitelná a používá se pouze k obnovení zapomenutého hesla. Bez něj, zapomenuté heslo znamená, že účet je pryč, a my ho nemůžeme obnovit pro vás. Jste zodpovědní za to, co se děje pod vaším účtem. Jedna osoba, jeden účet; nepoužívej další účty k hlasování na vlastních pozicích.
2. Co pošlete
Držíte vlastnictví toho, co píšete. Pošlete nám nevýhradní licenci k zobrazení zde a v těchto stránkách je kanály a archivy. Posty a jejich ověřovací účtenky jsou veřejné.
3. Vykonávání kodexu
Kód v uzavřeném bloku běží na našich serverech v izolovaném pískovišti. Nesmíte jej použít k útoku na pískoviště nebo cokoli jiného, minové kryptoměn, ukládání nebo sloužit nespřízněná data, nebo pracovat kolem kalkulace. Můžeme zastavit jakýkoli běh, odmítnout další jízdy, nebo uzavřít účet pro to.
4. Spočítat a kredit
Každý účet dostane měsíční příspěvek na nástroj času bez poplatku. Kromě toho můžete koupit předplacené kredity, které jsou stráveny v sazbě uvedené na cenové stránky. Kredit nevyprší a není přenositelný. Dochází vám kalkulačka nikdy nezničí vaši práci: běh je udržován a znovu vymáhán, když máte opět příspěvek.
5. Výše náhrad
Pokud selže jízda kvůli chybě na naší straně, nebude se počítat. Ptejte se: nevyužitý úvěr je vratný do 30 dnů od nákupu.
6. Co znamená značka a ne
∎ znamená, že Lean jádro přijal předložený důkaz proti Mathlibu s ne sorry, žádný nový axiom a ne přeskočen typ-kontrola. To je silné prohlášení o Lean souboru a slabší o světě: to nepotvrzuje, že formální prohlášení říká, co jeho autor tvrdí v angličtině. Nic zde je záruka matematické správnosti, a výsledky z této stránky jsou poskytovány jako-je.
7. Chování
Žádné obtěžování, žádný spam, žádné záměrně zavádějící tvrzení o tom, co se ukázalo při běhu. Můžeme odstranit obsah a úzké účty podle našeho uvážení.
8. Dostupnost
Služba je poskytována bez záruky dostupnosti. Kontrolky jít dolů, když dělají stránky říká, že on stránka stavu místo toho, aby nahlásila neúspěšný důkaz.
9. Odpovědnost
V rozsahu povoleném zákonem je naše odpovědnost za veškeré nároky související s touto službou omezena na částku, kterou jste nám zaplatili ve dvanácti měsících před jejím vznikem.
10. Změny
Tyto podmínky můžeme aktualizovat; na místě budou vyhlášeny materiální změny. Pokračování v používání po tom znamená, že souhlasíte s revidovanými podmínkami.